A statically typed, backwards compatible dialect of JavaScript