A strongly-typed language that compiles to JavaScript - purescript/purescript