A strongly-typed language that compiles to Javascript