Eddy Bruel (2013-04-12T22:21:27.000Z)
github at esdiscuss.org (2013-07-12T02:26:55.549Z)
I don't have much to add to this discussion, but I would like to point out that option 1 would make it much easier to implement symbols in SpiderMonkey, so as an implementer I have a vested interested in option 1 winning out ;-) In case anybody is interested, I've summarized why implementing symbols as primitive types in SpiderMonkey is hard [here](https://bugzilla.mozilla.org/show_bug.cgi?id=645416#c14)