Jon Pretty: Batshit Crazy Algebra with Types

This is a past event

72 people went


IMPORTANT Please register at SkillsMatter:

Batshit Crazy Algebra with Types


Jon Pretty

What would it mean to "add" or "multiply" types like Boolean and List[Int]? Would you think me mad if I applied the quadratic formula to a type, expanded its power series, then tried to justify using this to count binary trees? And what interpretation could I possibly attribute to differentiating types, and what's this got to do with zippers? I'll leave my mathematical rigour at home, and go a bit wild with types and algebra. And hopefully show that doing crazy algebraic stuff with types can actually throw up some surprising and useful results!

We will, as always, also be heading to the Slaughtered Lamb ( pub afterwards.


Skills Matter are hosting this event and are handling the attendance it is essential that you confirm your place at this link: (

failure to do so may result in not obtaining a seat. Please register on the "I'm going" to only let the others in the group know your going.

If this is your first time to SkillsMatter, directions are: