A programming language that understands what a web app is
A friendly programming language from the future
Pattern language
A strongly-typed language that compiles to JavaScript
A data-parallel functional programming language
A functional, systems programming language with linear types
Embedded language for high-performance array computations
The Eta Programming Language, a dialect of Haskell on the JVM
dependently typed functional programming language