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/…