top | item 47150331 (no title) echelon | 4 days ago We skipped over sum types here and the syntactic sugar that makes them a cut above other languages. discuss order hn newest 9rx|4 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?
9rx|4 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?
9rx|4 days ago
If it is just as easy to emit a language that is type safe, why Rust?