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.
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.