Functional Programming in Kotlin with Kategory

by Raúl Raja 40:06 4983 views 98% Published 2 years ago

This presentation was given as part of Lambda World 2017 by Raul Raja and Paco Estevez.

Follow:
-https://www.twitter.com/47deg
-https://www.twitter.com/lambda_world
-https://www.twitter.com/raulraja
-https://www.twitter.com/pacoworks

Visit:
-https://www.47deg.com/events for more details
- http://kategory.io/
___

Kategory 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 will cover some of the main datatypes and abstractions that make typed Functional Programming in Kotlin Possible. Kategory features techniques such as monadic comprehensions, laws, cartesian builders, emulated higher kinds, free monads, and global typeclass instances for the increasingly popular Kotlin programming language. Raul and Paco will discuss some pragmatic applications of Kategory and some of the different styles you can adopt when working with typed FP in Kotlin including transformers, tagless final, and free algebras.



Link Original video





Lambda World 2017


Lambda World 2017

From 26/10/2017 to 27/10/2017 in Cádiz, Spain