es-discuss Digest, Vol 106, Issue 46

Andrea Giammarchi andrea.giammarchi at
Wed Dec 16 14:33:14 UTC 2015

Chiming in only with one question: is interoperability between PL and
different environments a concern at all?

I think having unique identifiers like Symbols is a better solution too but
right yesterday I've made a PR to convert V8 Enum type to GObject enums
using its integer value [1] 'cause that's how it also work the other way
round [2].

How would a JS Symbol as enumerable be represented in Emscripten generated
code or how could Int32 enum based PL transpile their enums to JS?

Maybe I am overlooking at this and it's not a real issue?



On Wed, Dec 16, 2015 at 1:57 PM, Brendan Eich <brendan.eich at>

> A union is a kind of sum type -- either this or that. Order may matter for
> reflective use-cases, indeed. That's a good point. Whether symbol values by
> default are best wants a bit more debate too, I think.
> /be
> On Wed, Dec 16, 2015 at 8:53 AM Coroutines <coroutines at> wrote:
>> On Wed, Dec 16, 2015 at 5:44 AM, Brendan Eich <brendan.eich at>
>> wrote:
>> > `enum` has precedent -- C-like languages indeed use integers by
>> default, but
>> > see Rust for a generalized form:
>> > -- 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?
> _______________________________________________
> es-discuss mailing list
> es-discuss at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the es-discuss mailing list