Scala, Union Types and the Curry-Howard Isomorphism (Functional Field Trip)
- August 16, 2011 · 6:30 PM
Miles is giving a talk (on Scala) at Skillsmatter in London on the day of our next regular 3rd Tuesday meetup.
Several of us (Miles included, obviously ;-) will be attending that talk, so it was decided to make a virtue out of necessity and declare the Skillsmatter event as a Functional Brighton field trip to Clerkenwell.
Miles will be talking about the technique he devised to encode union types in Scala without boxing and the role that the Curry-Howard isomorphism played in deriving it.
His blog post on this subject turned out to be a surprise hit, creating a fair amount of buzz on Hacker News. Since then he's refined the technique and will be talking some more about its applications.
-
Richard Dallaway
Don't forget to register with Skillsmatter to be sure you can get in: http://skillsmatter.com/event/s...
July 29, 2011
7 attended
-
-
Kingsley Davies
Assistant Organizer
-
-
-
-
Richard Dallaway
Checked-in -
Join or login to comment.