Adam Warski

SoftwareMill

I am one of the co-founders of SoftwareMill, where I code mainly using Scala and other interesting technologies. I am involved in open-source projects, such as sttp, tapir, Quicklens, ElasticMQ and others. I have been a speaker at major conferences, such as JavaOne, LambdaConf, Devoxx and ScalaDays.

Apart from writing closed- and open-source software, in my free time I try to read the Internet on various (functional) programming-related subjects. Any ideas or insights usually end up with a blog (https://softwaremill.com/blog)

Starting from the definition of what we mean by “algebra”, we’ll try to see why the “Free Monad” is Free, why this name makes sense, what it means in the mathematical world and how to construct one. But don’t be scared! Some programming background will be more than enough to understand the talk; no special maths training is required.

If you are following the evolution of FP, free monads are popping up more and more frequently, not only in blogs but also in everyday programming. Hence it might be useful to see what are the origins of free; it appears in universal algebra and category theory, and that’s where we’ll be looking!

We’ll take several steps. Starting from algebras, we’ll construct a free algebra over a signature and a set of equations. Then we’ll be quite close to generalising this to a free object over any functor and category. Finally, we’ll be able to reach our goal: the free monad.

Slides
Video ←Back