A programming language introduced by Microsoft scientist Mark Marron. It's inspired by the syntax and types of TypeScript and the semantics of ML and Node/JavaScript.