Playing on the Scala REPL can lead one to discover Type-Classes, quiet naturally. Regular refactoring and asking searching questions on how to remove boiler-plate and make things succinct leads to lasting abstractions.

A step-by-step journey through some of the more advanced features like implicits, pimp my library pattern, type variance and functional design. The field of study will be type-safe equality and if time permits then some ‘Show’. The presentation will require two things: the REPL and a text editor. How Scala tops Type-Classes in Haskell ends it.