Hacker News new | ask | show | jobs
by echelon 118 days ago
We skipped over sum types here and the syntactic sugar that makes them a cut above other languages.
1 comments
9rx 118 days ago
Other languages meaning Javascript? Rust doesn't even have proper sum types. Try expressing this Coq sum type in Rust: { x : A & B x } I'll wait.

If it is just as easy to emit a language that is type safe, why Rust?

link