How does a simple type checker works and see how you can implement one | Hacker News Reader