Free monads on the Web

April 15, 2019

Cross-cutting concerns, from authentication to validation, obscure and entangle the business logic underlying web applications. With free monads, these can be represented as simple, pure values that separate meaning from mechanism to build safe, maintainable code.

In this talk, we explore how to manage this complexity by examining a real web application that uses free monads to model effectful behaviors.