I like that in Rust pointers can't even be null, you have to wrap them in a kind of an "enum" (union, ish) of the pointer and Nil value.
1
1
Kinda like a Haskell 'Maybe' ?
1
I don't know Haskell, but looking quickly that's more like Rust's "Option" which is in std library, built using the odd "enum"
2
yeah, so Haskell Either seems to be more like Rust's language feature "enum" (only enum can take more than 2 choices...)
1
Replying to @dsilverstone
yes! which I guess is a really generic way of thinking about an enum... rustbyexample.com/custom_typโ€ฆ
1
I'm not convinced. It sounds like a Haskell algebraic data type. Enums should be able to enumerate all their possible values.
2
more replies