Skip to content

Jon Pretty: Batshit Crazy Algebra with Types

Photo of Andy Hicks
Hosted By
Andy H.
Jon Pretty: Batshit Crazy Algebra with Types

Details

IMPORTANT Please register at SkillsMatter:

https://skillsmatter.com/meetups/6286-batshit-crazy-algebra-with-types

Batshit Crazy Algebra with Types

with

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 (http://www.theslaughteredlambpub.com/) pub afterwards.

**IMPORTANT READ ME TO REGISTER **

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

https://skillsmatter.com/meetups/6286-batshit-crazy-algebra-with-types (https://skillsmatter.com/meetups/6206-building-data-processing-applications-in-scala-the-snowplow-experience)

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

If this is your first time to SkillsMatter, directions are: http://skillsmatter.com/go/find-us

Photo of London Scala User Group group
London Scala User Group
See more events
The Skills Matter eXchange
116-120 Goswell Road, EC1V 7DP · London