Fay is a programming language which is a proper subset of the Haskell programming language. The latter language is a general, standardized functional language, with non-strict semantics and strong typing.
What Fay does is that it makes available to you a proper syntactic and semantic version of Haskell which has features like: static typing, fundamental data types, trivial foreign function interface, and more.
Demo:http:/ / fay-lang. org/ #examples