SkillsCast

Encoding Unboxed Union Types in Scala

16th August 2011 in London at The Skills Matter eXchange

This SkillsCast was filmed at Encoding Unboxed Union Types in Scala

In this talk, advanced Scala expert Miles Sabin will show how we can encode union types in Scala. If you've ever wanted to know how to play cool and practically applicable tricks with Scala's type system, then this is the place to be.

Scala has a highly expressive type system, but it doesn’t include everything you might find yourself hankering after, at least, not as primitives. In this talk, advanced Scala expert Miles Sabin will show how we can encode union types in Scala, in the course of which I’ll have an opportunity to shed a little light on the Curry-Howard isomorphism and show how it can be put to work for us.

If you've ever wanted to know how to play cool and practically applicable tricks with Scala's type system, then this is the place to be.

YOU MAY ALSO LIKE:

Encoding Unboxed Union Types in Scala

Miles Sabin

Miles has been doing stuff with Scala for the last 10 years, most recently with _.underscore and Precog. Rumours that his generic programming library shapeless is an elaborate ploy to try and get people to forget that he ever had anything to do with the Scala IDE for Eclipse are entirely unfounded.