TypeScript: Typechecker-Assisted Runtime Data Validation | Dark Hacker News