Inheritance is subtyping [pdf] | Hacker News Reader