Ada vs ReasonML

Ada is a statically typed, structured programming language designed for safety-critical and high-integrity systems. Developed originally for the U.S. Department of Defense, it is widely used in aerospace, defense, avionics, and embedded systems. AdaCore provides the primary commercial toolchain (GNAT Pro) along with static and dynamic analysis suites.

ReasonML is Syntax layer over OCaml designed to feel familiar to JavaScript developers, compiling to both native code and JavaScript.. It is available under a free model. This tool falls under the languages category.