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

    Leandro Borges Ferreira

    11/20/2018, 2:21 PM
    I raised the question in Cats: https://github.com/typelevel/cats/issues/2623
  • r

    raulraja

    11/20/2018, 3:06 PM
    If it does not violate laws and has a different signature from Functor#lift we can just call it lift
  • s

    simon.vergauwen

    11/20/2018, 3:07 PM
    I was going to say they don't need this in Scala because of currying
  • s

    simon.vergauwen

    11/20/2018, 3:08 PM
    That's why we have 
    lift
    on Optics and Monocle/Haskell doesn't
  • r

    raulraja

    11/20/2018, 4:02 PM
    @iboss this is ready to get merged as soon as conflicts are resolved https://github.com/arrow-kt/arrow/pull/1062
  • l

    Leandro Borges Ferreira

    11/20/2018, 5:14 PM
  • l

    Leandro Borges Ferreira

    11/20/2018, 7:17 PM
    Just out of curiosity: Now Cats has support for lift in the Bifunctor. https://github.com/typelevel/cats/pull/2624/
    👍 2
  • p

    pakoito

    11/23/2018, 12:25 AM
  • r

    raulraja

    11/24/2018, 11:59 PM
  • j

    jasoet

    11/25/2018, 12:30 PM
    I am in
    😍 2
  • r

    raulraja

    11/25/2018, 12:44 PM
    👋
  • l

    Leandro Borges Ferreira

    11/25/2018, 3:12 PM
    Also in
    😍 2
  • s

    stojan

    11/25/2018, 3:27 PM
    I would love to contribute
    😍 2
  • r

    raulraja

    11/25/2018, 5:56 PM
    I have provisioned this repo in the Arrow org to participate in porting the chapters https://github.com/arrow-kt/Category-Theory-for-Programmers.kt Let me know if you want to participate by replying to this message in a thread and I will give you write access so you can create your own branches there. In the meantime I'm inviting those of you that have already shown interest.
    👍 4
  • r

    raulraja

    11/25/2018, 8:04 PM
    Here is the first chapter translated to Kotlin and the infra to ensure code snippets type-check with Ank https://github.com/arrow-kt/Category-Theory-for-Programmers.kt/pull/1
  • r

    raulraja

    11/25/2018, 8:05 PM
    I have also created an issue per chapter https://github.com/arrow-kt/Category-Theory-for-Programmers.kt/issues If you want to work on a chapter in particular feel free to claim it in the issue. To build the project clone it and run:
    Copy code
    ./gradlew runAnk
  • r

    raulraja

    11/25/2018, 8:05 PM
    More info in the README
  • j

    jasoet

    11/25/2018, 11:05 PM
    Nice.
  • i

    Igal Tabachnik

    11/26/2018, 9:15 AM
    👋
    👏 1
  • j

    jacob

    11/26/2018, 9:37 AM
    👋
  • j

    jacob

    11/26/2018, 9:38 AM
    @Igal Tabachnik loved the work on the book. Somehow a physical copy was ordered on a Friday and arrived in Australia on a Monday
  • i

    Igal Tabachnik

    11/26/2018, 9:39 AM
    Thanks! Yes, the very first tweet I received from someone in Australia who got the book 2 days after placing an order!
  • i

    Igal Tabachnik

    11/26/2018, 9:39 AM
    turns out they have local printers there
  • i

    Igal Tabachnik

    11/26/2018, 9:39 AM
    I waited for my own copy for a goddamn month 🙂
  • j

    jacob

    11/26/2018, 9:39 AM
    it's the first time something shipping to australia has been faster!
  • i

    Igal Tabachnik

    11/26/2018, 9:40 AM
    I bet 🙂
  • i

    Igal Tabachnik

    11/26/2018, 9:43 AM
    Anyway, I’m happy you’re doing the Kotlin snippets, I’ll try to help if I can 🙂
  • i

    Igal Tabachnik

    11/26/2018, 9:43 AM
    I’ll finish up the book refactor, allowing plugging in custom languages more easily. Right now it’s hardcoded to scala in the fork
  • j

    jasoet

    11/26/2018, 11:33 AM
    since Kotlin doesn’t allow 
    >=>
    as function name. What name should we use for this Haskel function 
    (>=>) :: (a -> Writer b) -> (b -> Writer c) -> (a -> Writer c)
    ?
  • i

    Igal Tabachnik

    11/26/2018, 11:33 AM
    fish? 😛
1...616263...115Latest