Functional Programming in Kotlin with Arrow
MadridJUG June 2018 Meetup
Λrrow is a library that started as a port of Typelevel Scala cats with the name Kategory and eventually got fushioned with Funktionale, The two main FP libs for the Kotlin Programming Language and is now evolving to bring the best of typed FP to Kotlin.
This talk covers some of the main data types and abstractions that make typed Functional Programming in Kotlin Possible.
Arrow features techniques such as monadic comprehensions, laws, applicative builders, emulated higher kinds, free monads, and global typeclass instances for the increasingly popular Kotlin programming language. We discuss some pragmatic applications of Arrow and some of the different styles you can adopt when working with typed FP in Kotlin alogn with a proposal to introduce type classes and higher kinds as part of the language.
For more information, visit: Introduction to Arrow for Kotlin