Wyscript is a derivative of the Whiley language which compiles to JavaScript.  Wyscript supports a flow-sensitive and structural type system, making it extremely flexible.