Pure

Pure is a programming language created by Frédéric Lizotte. It is based on the concept of functional programming, and is influenced by the languages Haskell, OCaml and Miranda. Pure is a statically typed, pure functional programming language. It features type inference, higher-order functions,immutable data types and a lazy evaluator. The Pure interpreter is written in C++, and the language has a lightweightForeign Function Interface (FFI) for calling C code. The Pure language is released under the terms of the GNU General Public License version 3 or later.