From DOT to Dotty by Martin Odersky