Roy: A statically typed pure functional language that compiles to clean js [PDF]

brianmckenna.org