Roy: A statically typed pure functional language that compiles to clean js [PDF](brianmckenna.org)