es-discuss Digest, Vol 106, Issue 46

Coroutines coroutines at gmail.com
Wed Dec 16 13:53:18 UTC 2015


On Wed, Dec 16, 2015 at 5:44 AM, Brendan Eich <brendan.eich at gmail.com> wrote:
> `enum` has precedent -- C-like languages indeed use integers by default, but
> see Rust for a generalized form: https://doc.rust-lang.org/book/enums.html
> -- for a category-theory "sum" type and IMHO handily beats `sym` or `sum`.

I just mean that using `enum` to define symbols/identifiers sounds
odd, as enum is short for 'enumerate' no?  We wouldn't be enumerating
symbols as that suggests order behind the symbol
identifiers/references, imo :>

Rust's enum/sum value type sounds like a typed union..  the type flag
is just hidden?


More information about the es-discuss mailing list