What's Different in Dotty by Martin Odersky [video] | Hacker News Reader