<@U1EBLL468> Not a shameless plug at all! I'm up ...
# arrow
j
@marc0der Not a shameless plug at all! I'm up to chapter 4 of the MEAP! 😄 I was so pleased when I found out this book was in the works, because I'd tried to work through the entirety of the Red Book (Functional Programming in Scala), doing all the problems, but got so bogged down at Chapter 7 (Purely Functional Parallelism) that I moved on to other books. This was largely, I think, because my cognitive processing was overloaded by having to juggle both understanding Scala syntax (completely new to me, at the time) and learning FP (also completely new, at the time). My familiarity with Kotlin has made the chapters of FPIK released so far a breeze. Thank you so much for writing this book! It is truly a gift to Kotlin FPers.
👍 3
p
You could read 'The Joy of Kotlin': a book of @pysaumont. A good start to learn FP with Kotlin...
j
Thanks @PhBastiani. I'm currently about halfway through Joy of Kotlin. And it's a very, very good book that I'm getting much value from. But I get the impression that its end goal is pragmatic FP, rather than pure FP.
m
Thanks @julian, that is the exact purpose of FP in Kotlin. The book is all about FP principles first, just like in the red book. Once we learn how to build the constructs from first principles, we introduce how we can do the same or similar things with Arrow.
😍 1
I've just completed the 6th chapter that deals with State, and it segwayed beautifully into the Arrow
State
API.
j
i'd like to see json parsers and 1-page FSM's in kotlin before and after arrow FP. I'd love to see the opportunity for currying and tailrec to be the orientation of primary solution - but right now, I can't really say I am aware of any before and after pictures that have opened my eyes.
I beleive i have an understanding of the strengths of kotlin being leveraged to enable conventions of good FP but I haven't seen where these added considerations wlll reduce technical debt.
r
@marc0der when going over Either or Coproducts it may be worth mentioning union types
We those are coming to Kotlin via arrow meta and its like nullable types but for either
No need to deal with left and right
The PR has already been merged in meta and its one of the arrow plugins
At the time the red book was written union types were not a thing in Scala
p
Yes, JofK takes a pragmatic way. The author shows us how to build safe programs by building our own tools. for the anecdote: the book was originally supposed to be titled 'FP in Kotlin'...
m
@raulraja I've been following the whole discussion closely and will most certainly go back to the earlier chapters to update them wrt union types. I'm also eagerly awaiting monad comprehensions to settle down so I can feed those back into the book too. Exciting times in the Kotlin ecosystem!
❤️ 3
p
When JofK was written the coroutines were not finalized... Itou for KΛtegory/Λrrow!