Grain: A strongly-typed functional programming language for the modern web.
Grain is a new programming language that puts academic language features to work.
grain-lang.org