The unusual effectiveness of the Haskell type system

Speaker: Callum Lowcay
Title: Natural transformations and polymorphic functions
Description of talk:
It is sometimes said of Haskell code that if it compiles, then it works. Of course it doesn't always turn out that way, but it does happen with startling frequency. Why is it then that the Haskell type system is so effective at eliminating bugs? In this talk I will outline the fundamental concepts of category theory as they relate to Haskell, and show how we can use that theory to derive intuitive theorems about our Haskell functions. These theorems will go some way towards explaining the unusual effectiveness of the Haskell type system.

There will be pizza and drinks, courtesy of Orion Health.