I don't think the type checker will be open source | Hacker News Reader