An accessible introduction to type-checkers | Hacker News Reader