Writing your own type-checker doesn't have to be hard | Hacker News Reader