<@UBSK9D611> I’m loving the episode. Many things a...

# functional

[raulraja]

@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.

[raulraja]

hahhaha yeah the Yoneda Lemma is just an inside joke

[raulraja]

| It allows the embedding of any category into a category of functors

[raulraja]

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

[raulraja]

That is why Yoneda it’s a the center of Free. It gives you functors for free.

[raulraja]

@sam ^^^let’s do a follow up and we can argue about delimited continuations and the mother of all monads xD

[sam]

I can't remember what I said on that podcast now - it was many months ago 🙂

[sam]

also I'd had about 6 beers by the end of the recording so I was probably more coherent at the start

[mattmoore]

Haha! Yeah this was a fun episode. And yeah it was recorded months ago. Finally had a chance to get around to editing.

[mattmoore]

@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. 🙂

[raulraja]

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.

[raulraja]

And I’d like to expose a different angle to the whole Functor, Monad… biz

[davec]

That was a fun one, we were all over the place!

[raulraja]

Also IO is gone in Arrow soon 😉

[raulraja]

I really have to tell you guys were things are headed BIO, was retracted

[raulraja]

Kinds will be eliminated and most methods in the functor and monad type classes for types moved out since now we have computational blocks

[raulraja]

IO<E, A> is gone

[raulraja]

I would like to demistify all these for you and really show were we are gonna be different to all libs

[julian]

Own the libs! 😆