undefined | Better HN

0 pointsechelon2mo ago0 comments

We skipped over sum types here and the syntactic sugar that makes them a cut above other languages.

0 comments

9rx2mo 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?

j / k navigate · click thread line to collapse

9rx2mo 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?

j / k navigate · click thread line to collapse