Design issues when using Static Typing in Scala
This was given at the Melbourne Scala User Group, in August 2012.
To get the most out of it, I recommend viewing the code that accompanies the talk:
https://github.com/benhutchison/ScalaTypeSystemTutorial/blob/master/src/main/scala/typestalk/TotalFunctions.scalaub.com/benhutchison/Scala…