Exploring recursion schemes and type level programming

This talk is about using Scala as a playground to better understand logic and category theory.

We’ll start introducing recursion schemes by playing with fixpoint types. Then, moving from value level recursion to type level recursion, we’ll see how our newly acquired skills can also apply by implementing some of the data structures provided in Shapeless.

Session length

40 minutes

Language of the presentation

English

Target audience

Intermediate: Requires a basic knowledge of the area

Speaker

Julien Tournay (MFGLabs)