https://kotlinlang.org logo
#functional
Title
# functional
r

raulraja

06/26/2020, 2:28 PM
@mattmoore I’m loving the episode. Many things are changing in Arrow deviating from Cats, Scala and Haskell. It would be fun to do another episode with Sam or someone and demystify all around were Arrow is, history and where it’s going, also happy to answer questions from people in the community. It’s all about delimited continuations and how Kotlin acceptances of those are gonna shape Arrow and FP in Kotlin compared to the indirect style in Scala and Haskell.
hahhaha yeah the Yoneda Lemma is just an inside joke
| It allows the embedding of any category into a category of functors
So essentially what Free Monads do. You give it an ADT and the Free embedding provides a Free functor for your ADT in which you can sequence operations and create a DSL. Then you can interpret the Free structure into a concrete structure like IO
That is why Yoneda it’s a the center of Free. It gives you functors for free.
@sam ^^^let’s do a follow up and we can argue about delimited continuations and the mother of all monads xD
s

sam

06/26/2020, 2:51 PM
I can't remember what I said on that podcast now - it was many months ago 🙂
also I'd had about 6 beers by the end of the recording so I was probably more coherent at the start
🍻 3
m

mattmoore

06/26/2020, 2:59 PM
Haha! Yeah this was a fun episode. And yeah it was recorded months ago. Finally had a chance to get around to editing.
@raulraja @sam @davec I would love to do a follow up for another episode if you’re all willing. Let me know when you’re all free. 🙂
👍 2
r

raulraja

06/26/2020, 3:01 PM
happy to chat anytime if you are interested. I have different points of view regarding FP in Kotlin and some of your ideas around flatmap, filter and friends.
And I’d like to expose a different angle to the whole Functor, Monad… biz
👍🏻 3
d

davec

06/26/2020, 3:03 PM
That was a fun one, we were all over the place!
😂 3
r

raulraja

06/26/2020, 3:29 PM
Also IO is gone in Arrow soon 😉
I really have to tell you guys were things are headed BIO, was retracted
Kinds will be eliminated and most methods in the functor and monad type classes for types moved out since now we have computational blocks
IO<E, A> is gone
I would like to demistify all these for you and really show were we are gonna be different to all libs
👍 2
j

julian

06/26/2020, 10:18 PM
Own the libs! 😆
4 Views