TypeCake, a language that compiles to TypeScript types | Hacker News Reader