is a modern-style functional programming language based on term rewriting.
Pure is a modern-style functional programming language based on term rewriting. It offers equational definitions with pattern matching, full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, built-in list and matrix support and an easy-to-use C interface. The interpreter uses LLVM as a backend to JIT-compile Pure programs to fast native code. Pure is closely related to the author's Q language and is slated to eventually become its successor, since it offers many new and powerful features and programs run much faster than their Q equivalents. (OTOH, Q still offers many more library modules right now. Most of these will eventually be ported to Pure, but this will take some time.)
released on 30 June 2016
|License||Verified by||Verified on||Notes|
|GPLv3orlater||Kelly Hopkins||6 November 2008|
Leaders and contributors
Resources and communication
This entry (in part or in whole) was last reviewed on 23 January 2017.