Roy: compiling a statically typed, functional language to JavaScript

Functional programming is very tedious in plain JavaScript. Roy is a language designed to make it practical and safe. It features static, algebraic and structural types, pattern matching, and monadic syntax.
This talk describes what Roy is and how it compiles into very simple JavaScript.