At Concentra they have used abstract MTL patterns in their production service architecture for a number of years now. They are currently migrating across to ...

A road trip with Monads: From MTL, through Tagless to Bio

This talk is about a journey: from imperative code to purely functional one. It starts with a program written in imperative style. Its weak spots can be quickly recognized: lack of robustness, testability…