We skipped over sum types here and the syntactic sugar that makes them a cut abo... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		echelon 82 days ago \| parent \| context \| favorite \| on: Code has always been the easy part We skipped over sum types here and the syntactic sugar that makes them a cut above other languages.

9rx 82 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?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact