unicode.json

{ "inline":
  { "unicode-support-in-js-today":"💩"
  , "unicode-support-in-js-someday":"😁" }
, "surrogates":
  { "unicode-support-in-js-today":"\uf09f\u92a9"
  , "unicode-support-in-js-someday":"\uf09f\u9881" }
}

use-unicode.js

function assert(x) {
  if (!x) console.error("assertion failed")
  else console.error("assertion passed")
}

{ "use unicode" // opt-in so we don't break the web

  var x = "\u1F638" // > 2 byte unicode code point
  var y = "😁" // face with open mouth and smiling eyes

  assert(x.length === 1) // less important, but ideal
  assert(y.length === 1) // less important, but ideal
  assert(x === y) // unicode code points should match literals
  console.log(x) // <-- should output a smiley, not "ὣ8"
  console.log(y) // <-- should output a smiley, not mochibake
  assert(JSON.stringify(y) === JSON.stringify(x))
  assert(JSON.parse(JSON.stringify(y)) === y)
  assert(JSON.parse(JSON.stringify(x)) === x)

  assert(x.indexOf(y) === 0)
  assert(y.indexOf(x) === 0)
  var arr = ["a", "b", "c"]
  var axbxc = arr.join(x)
  var aybyc = arr.join(y)
  assert(axbxc.split(x)[1] === arr[1])
  assert(axbxc.split(y)[1] === arr[1])
  // etc.
  // They're just characters, and just strings.
  // No special anything, just treat it like any other character.  
}

@mranney: rather than dump node.js why wouldn't you make a fork that does the 21-bit char thing?

/be

@isaacs: "I don't care about the pragma, or even really .length being "accurate". I care about being able to properly handle unicode characters outside the BMP." -- I get what you mean by not caring about the pragma (but anyone writing the spec has to), but .length has to be "accurate" for you to be able to "properly handle" non-BMP chars. For any consistent values of "accurate" and "properly handle".

The Big Red Switch on global objects may be the best compromise. It wouldn't be a |use unicode;| pragma, rather a <meta> tag or some such. You would opt in early and all same-global strings would be UTF-16 not UCS-2. Any cross-global string passing would copy to the other window's format. No duplicated string library methods a la Java, no observable different representations. Embeddings such as Node could pre-opt-in at startup. Comments?

/be

Who are these people on the ground? Hypothetically, flip a magic switch, everyone wakes up tomorrow and their browsers are all doing UTF-16 instead of UCS-2. What websites break? Can you give me a url? I've heard a lot of hearsay about how this would break the web in some crucial ways, but frankly, it sounds rather specious.

Node is not a VM. V8 follows the spec, and node uses V8. "Forking node" is really forking V8. So that's kind of a gfy answer. Nevertheless, if it comes to bolting on some functionality to v8 to get the unicode support we need, or doing other hacks outside the VM to interpret the bytes sensibly, then that's what we'll have to do.

Here's some JSON that is extremely problematic: https://raw.github.com/gist/1850768/aed7ca8042100b54d90e0d6bb1f8294249c7a1ca/unicode.json

@mranney If you could provide some (de-identified) real-world data or comments about your use case as well, that'd be great.

A big red switch somewhere would be perfectly fine. (We already have those for many other harmony and es-next features.) But without a spec to point at, it's very hard to make a compelling case to v8 that this should be done in the VM.

I don't mean to claim that this is easy. But it should be easy to see it ought to be a priority, since it's actively harmful, not well-solved already by API or frameworks, and not something where you can just learn how it works and get by. (Unlike, say, module systems, breakable for-each loops, or ASI rules.)

TC-39 should not spend time on problems that aren't incredibly hard, until those are solved.

@BrendanEich For my purposes, a BRS on global objects seems great. Seems like that would be good for the web as well.

I'll dig up some real world examples. The most common one we have is emoji characters, used by even US-based iOS devices these days. The other is people's names, which isn't that common of a problem for us since we are mostly popular in the US right now. I expect that this will change if we start getting popular in Asia.

@isaacs: before you throw out "specious" please consider the technical facts: you're talking about every JS run over a string today changing indexing from uint16 elements to character elements. I'm not concerned about O(1) vs. O(whatever) here, just the actual change in index and length. Yes, it might all work - that was the hope when Allen proposed 21-bit chars for all - but we don't know and it certainly could break if anyone is doing indexOf, e.g. looking for a certain uint16 value, then looking at the next uint16 to interpret a surrogate pair. Any such hard-coding will break.

So "specious" is a low blow: Allen already proposed to optimize as you glibly assert will work. But browser game theory is heinous. First one to try may lose big time and lose market share, which will force it to go back to the bad old ways.

Thus my advice in favor of opt-in. Is that "specious" too? Yeesh!

(spē'shəs) pronunciation
adj.

1. Having the ring of truth or plausibility but actually fallacious: a specious argument.
2. Deceptively attractive.

Rather my argument is based on getting burned many times by breaking changes. Every damn testable feature in the hyperspace gets tiled by usage. Call me conservative on this, but don't call me a deceiver.

I know Node is not a VM but that's not the point. Rather, Node can be all-or-nothing. Web browsers cannot. Some windows may load old content with hard-coded surrogate matching. Some may load new content and opt in. That's all.

/be

Here's one example (there are many) of "people on the ground" (Microsoft's I18N expert, in this case) raising the same "breaks hardcoding" objection I mentioned:

https://mail.mozilla.org/pipermail/es-discuss/2011-May/014256.html

/be

I still think my proposal is technically sound and would support converting to 21-bit characters in a backwards compatible manner (at least form a pure JS perspective, DOM interaction may be another matter). However, there are probably some rough edges to work out. I'd need to go back and review the es-discuss thread to refresh my memory. Existing code that uses UTF-16 encoding within JS strings would still use UTF-16. The only difference would be that their 16-bit code units would be stored within (logically) 21-bit string elements instead of 16-bit string elements. Of course, the actual physical storage could be optimized to only use >16 bits cells when actually needed. I think that the biggest compatibility issues probably relate to the DOM usage of JS strings.

The issue that I think stalled the proposal (over and beyond schedule pressure) was feedback from the Unicode experts that they really didn't care about uniform 21-bit characters. They seem to be perfectly happy with strings that always manifest variable length UTF-16 encodings. The argument was that even if your had 21-bit uniform characters, the "semantics" of Unicode still require parsing for multi-codepoint control sequences. The parsing that needs to be done to recognize UTF-16 encodings supposedly fits naturally into that sort of string processing.

Allen

@allenwb: hardcoding breaks, though: anyone matching uint16 parts of a surrogate pair will mismatch or fail to match. Right?

Yeah, DOM interfacing might suck. Or mostly work -- your proposal has appeal to me because Gecko (and WebKit and Trident and ...) have to respect non-BMP characters and find the right glyphs for them. But it could be a big change for all browsers.

What do you think of the opt-in via per-global "Big Red Switch" idea?

/be

Regarding Shawn's "breaks hardcoding" objection, I think he misunderstood the difference between JS Strings with 21-bit (or 32-bit) elements and UTF-32 strings. The strings I proposed were the former, not the latter. With 21-bit cells you are not limited to using only valid UTF-32 codepoints. It is fine to have 0xD800-DFFF values in such a string. If your code only puts 16-bit values into the string elements and does UTF-16 processing of them, under my proposal the string indices would be exactly the same as with JS today.

Allen

@allenwb: there's no UTF-32 confusion. The problem is hard-coding halves of a surrogate pair into indexOf or similar, reading data that was not likewise generated. It's not a symmetric GIGO situation, the 21-bit data will be full Unicode characters while the old JS will be matching uint16 pieces in vain.

/be

@BrendanEich Yes, you need to know what you are doing if you are mixing UTF-16 and UTF-32 strings. My premise is that if you have existing code that is explicitly dealing with UTF-16 encodings it would continue to work just fine as long as you don't unknowing insert UTF-32 data into the mix. I guess that could be an issue if I/O (eg, XDR) automatically started populating strings using UTF-32. Maybe that's where the "Big Red Switch" would come into play.

To me, the most important thing is to make the round trip between utf8 and javascript correctly.
assert(JSON.parse(JSON.stringify(x)) === x)

Changing the interpretation of "\uxxxx" literals is not desirable imho as it creates ambiguity. If we do this: var x = "\u1F638" // > 2 byte unicode code point, then how does one write this as a single string literal: var x = "\u1F63" + "8" ?

Hm, github ate my reply. I'll try to do it justice. I'm sure the original was much more compelling :)

@BrendanEich I wasn't glibly asserting it'd work. I was glibly asking what specifically would break. I've heard several claims about how it would break things. Those claims have the ring of truth, but I've grown skeptical of rings, even truthy ones. I'd like to see a program in the wild that'll actually be affected, especially one that isn't using strings as a make-shift binary array, or doing fancy byte-shuffling in order to work around this very issue.

Skepticism aside, I'm not completely insane. Of course this would have to be opt-in. If it can't be a pragma, fine; a BRS, or even a separate special type would be perfectly acceptable, as long as it would enable us to serialize and deserialize the string faithfully, and know what the characters should be rather than rely on the dom to sort it out for us.

If we do this: var x = "\u1F638" // > 2 byte unicode code point, then how does one write this as a single string literal: var x = "\u1F63" + "8" ?

Yes, that's true. It'd have to either be somehow framed, like \U+[1F638] or something, or we just bite the bullet and write out the surrogates.

@izs: ok, that helps -- @allenwb or I will restart, I think with a BRS-per-global, on es-discuss and get it on the next tc39 meeting's agenda.

/be

@mranney @piscisaureus

Please see Gist 1861530

For some reason, I couldn't post it as a comment here.

It appears that, in node at least, we're being bitten by http://code.google.com/p/v8/issues/detail?id=761. We will work with v8 to figure out the best solution there, to get from utf8 bytes into a JavaScript string, which doesn't arbitrarily trash non-BMP characters. I apologize for misunderstanding the issue and impugning the good name of JavaScript. (In my defense, it's a particularly complicated issue, and JavaScript's name isn't really all that good ;)

Nevertheless, I think that clearly the long-term correct fix is for JavaScript to handle unicode intelligently (albeit with the presence of big red switches), so I'm very happy to see your proposal.