Past Meetup

The unusual effectiveness of the Haskell type system

This Meetup is past

28 people went

Orion Health - 181 Grafton Road

181 Grafton Road (cnr Kyber Pass and Grafton Road) · Auckland

How to find us

Enter via the door from Grafton road, nearest Khyber pass - it will have a sign on it. In case there is nobody at the door to let you in, then please call or text the number written on the sign on the door.

Location image of event venue

Details

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.