Hacker News new | ask | show | jobs
by epolanski 122 days ago
Can you make an example of TypeScript's unsoundness that cannot be fixed with better encodings?