Deep dive into iota

Freestyle’s iota is a high performance functional programming library for very optimized coproducts. Its primary claim to fame is for faster evaluation of Free Monads in Freestyle. However, iota has many hidden features and can be used for much more than just Free.

Let’s explore the current (and upcoming) features of iota while looking at different functional programming patterns such as error handling and generic typeclass derivation.

Additionally, we will briefly discuss how iota works behind-the-scenes and take a peek at some of the underlying macros.

Session length

40 minutes

Language of the presentation

English

Target audience

Advanced: For those who are experts in the field

Who is your session intended to

This talk is intended for those who are already familiar with functional programming concepts such as coproducts and free monads.

Speaker

Andy Scott (Humanoid Extraordinaire @ Stripe)