Checking Types Against the Real World in TypeScript | Dark Hacker News