On typed, untyped, and “uni-typed” languages | Hacker News Reader