https://kotlinlang.org logo
Channels
Powered by
#arrow-contributors
  • j

    jasoet

    11/26/2018, 11:33 AM
    😆
  • j

    jasoet

    11/26/2018, 11:37 AM
    Copy code
    fun <A,B,C> fish(m1: (A) -> Writer<B>, m2: (B) -> Writer<C>): (A) -> Writer<C>
    🙈 1
  • i

    Igal Tabachnik

    11/26/2018, 11:46 AM
    I seem to recall the scala Cats docs had a big chart of operators and their proper names
  • i

    Igal Tabachnik

    11/26/2018, 11:47 AM
    Can’t seem to find the Kleisli arrow in there, though…
  • i

    Igal Tabachnik

    11/26/2018, 11:47 AM
    Would be nice to have some consistency
  • j

    jasoet

    11/26/2018, 12:07 PM
    so 
    fish
    ? 😆
  • i

    Igal Tabachnik

    11/26/2018, 12:09 PM
    =] let’s ask the elders 😛
  • p

    pakoito

    11/26/2018, 12:11 PM
    we don't have one like that, which means it's a good chance to go add it 😉
  • i

    Igal Tabachnik

    11/26/2018, 12:12 PM
    I suppose no way to add symbolic operators in Kotlin?
  • i

    Igal Tabachnik

    11/26/2018, 12:13 PM
    They never allowed that mistake? XD
  • p

    pakoito

    11/26/2018, 12:13 PM
    sadly, no, just a limited set of operators
  • p

    pakoito

    11/26/2018, 12:13 PM
    and we agreed on not overloading them for arrow
  • j

    jasoet

    11/26/2018, 12:16 PM
  • j

    jasoet

    11/26/2018, 12:17 PM
    Code for 1.4 almost done. Still need to decide which function name that we will use tho
  • i

    Igal Tabachnik

    11/26/2018, 12:18 PM
    compose
    , I suppose?
  • j

    jasoet

    11/26/2018, 12:26 PM
    I will go with 
    compose
    we can continue discussion on Pull Request
  • j

    jasoet

    11/26/2018, 12:40 PM
  • r

    raulraja

    11/26/2018, 1:01 PM
    @jasoet 
    >=>
    should be 
    Kleisli::andThen
    which requires the 
    Monad<F>
    where 
    F
    is the type constructor Kleisli is parametric to in it's first type argument.
    🔝 2
  • r

    raulraja

    11/26/2018, 1:02 PM
    @Igal Tabachnik Welcome! So happy to have you around!
  • i

    Igal Tabachnik

    11/26/2018, 1:06 PM
    Happy to be here 🙂
  • i

    Igal Tabachnik

    11/26/2018, 1:07 PM
    Well, the answer is obvious: we start a KEEP to add symbolic operators to Kotlin 😛
  • i

    Igal Tabachnik

    11/26/2018, 1:07 PM
    (how fast would you imagine they close it?)
  • r

    raulraja

    11/26/2018, 1:08 PM
    There have probably been multiple discussions around that since Kotlin is so great for DSLs but symbols is where it falls shorts in some domains, though I think most people prefer no symbols in the lang.
  • j

    jasoet

    11/26/2018, 1:10 PM
    I prefer no symbols, symbols will make code harder to read
  • r

    raulraja

    11/26/2018, 1:12 PM
    @jasoet just reviewed your PR
  • j

    jasoet

    11/26/2018, 1:13 PM
    Thanks
    👍 1
  • r

    raulraja

    11/26/2018, 1:13 PM
    Feel free to merge once it passes after the suggestions are addressed, thank you!
  • r

    raulraja

    11/26/2018, 1:14 PM
    There is also this board to monitor the progress https://github.com/arrow-kt/Category-Theory-for-Programmers.kt/projects/1
    🔝 1
  • j

    jasoet

    11/26/2018, 1:14 PM
    So Tuple2 will be different with Pair, right?
  • r

    raulraja

    11/26/2018, 1:15 PM
    Arrow supports TupleN up to 10 or so
1...626364...115Latest