“Scala’s Type System: a tutorial” – Video’s from my Feb 2012 talk on Youtube

A tutorial on Scala’s Type System, presented by Ben Hutchison at the Melbourne Scala User Group in Feb 2012.

 

Part 1 covers structural vs nominal typing, type inference, parametric polymorphism, and type bounds.

 

Part 2 covers type members, compound and singleton types, type projection, type lambdas, going beyond inheritance hierarchies..

 

The code used in the talk is at:https://github.com/benhutchison/ScalaTypeSystemTutorial/blob/master/src/main/…