Sandy Maguire - Chasing the performance of Free Monads

We have a special guest this month!

Sandy Maguire, author of the book "Thinking with Types: Type-Level Programming in Haskell" is visiting Montreal and will stop by Lambda Montreal. He will give us a sneak peak of what he's been working on since publishing his book.

And what Sandy has been working on is Free Monads!

Free Monads are used to represent and manipulate effectful programs as first-class values.
In the Haskell community, they have been quite a hot topic in the last few months, and so FP meetups around the world are probably discussing Free Monads as well these days.

The reason they have been a hot topic is because of Sandy's blog posts on the topic. So we are privileged to be hearing about them directly from him!

Read his blog: https://reasonablypolymorphic.com/
Buy his book: https://leanpub.com/thinking-with-types