I was surprised to hear about Dart. A closer look at Google's other new language (Go), shows a statically typed, compiled language that can be safely sand-boxed. For example, look at how Google has included Go in AppEngine. Additionally, there has been work at compiling Go to another project of theirs, Native Client (NaCl). It still seems like this might be a good match.