Mascara Compiler (http://www.mascaraengine.com/ http://www.mascaraengine.com/) supports many of these features already: - non-nullable types - proper scopi

Mascara Compiler (http://www.mascaraengine.com/ http://www.mascaraengine.com/) supports many of these features already: - non-nullable types - proper scoping (no use before declare, block scope) - optional and rest arguments - calling with too few arguments is flagged by compiler - "this:" parameter - Function types are contravariant - classes, interfaces