Upgrade to Pro — share decks privately, control downloads, hide ads and more …

The FP ecosystem in Kotlin

pakoito
September 21, 2019

The FP ecosystem in Kotlin

Arrow is a Kotlin library that has brought support for HKTs and type classes into the language. On top of that we have ported a good chunk of the FP stack including comprehensions, lenses, recursion schemes, and a blazing fast effects system. This enables experimenting with Haskell papers that you can seamlessly run on your phone.

The other aspect of Arrow is that it’s already widespread in the industry and is being used by startups and banks. It works on top of the vanilla Kotlin toolset, so it is safe to bring into your JVM programs. Bring your favorite FP constructs onto your day-to-day job!

pakoito

September 21, 2019
Tweet

More Decks by pakoito

Other Decks in Programming

Transcript

  1. @pacoworks Tens of known Apps, as many backends Talks around

    the world Multiple books 3k Github stars 7
  2. 18

  3. 19

  4. 23

  5. @pacoworks class ForSequence private constructor() class ForOption private constructor() class

    ForTry private constructor() class ForId private constructor() class ForSet private constructor() 30
  6. 39

  7. @pacoworks …in the real world 42 Early days Lots of

    potential experiments Focus on industrial uses
  8. @pacoworks Papers in Practice 46 The Frank language: Do be

    do be do Selective Applicative Functors Build Systems a la Carte Defunctionalized Kind Projections