The Essence of Scala: Calculus of Dependent Object Types | Hacker News Reader