A programming language compiling to JavaScript