Λrrow - Toward Functional Programming in Kotlin

Λrrow - Toward Functional Programming in Kotlin

https://arrow-kt.io/

Λrrow is a library that started as a port of Typelevel Scala cats 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. Λrrow features techniques such as monadic comprehensions, laws, applicative builders, emulated higher kinds, free monads, and type classes for the increasingly popular Kotlin programming language. We discuss some pragmatic applications of Λrrow and some of the different styles you can adopt when working with typed FP in Kotlin along with a proposal to introduce type classes and higher kinds as part of the language.

https://github.com/47deg/arrow-intro

Ad2476bf0540dfaa0fc30cb62c8e07da?s=128

Raúl Raja Martínez

June 04, 2018
Tweet