Reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Reason is a programming language powered by OCaml's strong type system, and has a syntax designed to feel familiar to people coming from JavaScript or C-family languages. OCaml with an easier to learn syntax. Use js_of_ocaml to compile to JavaScript. It has also support for standard compiler which can produce native executables.