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. His best known project, the Scala generic programming library shapeless, is the weapon of choice wherever boilerplate needs to be scrapped or arities abstracted over.