Hacker News new | ask | show | jobs
by caioricciuti 30 days ago
About time. TypeScript and Rust proved how much cleaner code gets when you can model "this OR that" at the type level. The real test will be whether library authors start using them in public APIs or if they stay a curiosity.
1 comments

Standard ML proved this 50 years ago.