On Types: From Assembly to Clojure | Hacker News Reader