Functional programming language
Pure |
|
Paradigm | Functional, declarative, term rewriting |
---|
Designed by | Albert Gräf |
---|
Developer | Albert Gräf |
---|
First appeared | 2008; 16 years ago (2008) |
---|
|
Stable release | 0.68
/ 11 April 2018; 6 years ago (2018-04-11) |
---|
|
Typing discipline | strong, dynamic |
---|
OS | Cross-platform: FreeBSD, Linux, macOS, Windows |
---|
License | GNU Lesser General Public License |
---|
Website | agraef.github.io/pure-lang |
---|
|
Q, Haskell, Lisp, Alice, MATLAB |
Pure, successor to the equational language Q, is a dynamically typed, functional programming language based on term rewriting. It has facilities for user-defined operator syntax, macros, arbitrary-precision arithmetic (multiple-precision numbers), and compiling to native code through the LLVM. Pure is free and open-source software distributed (mostly) under the GNU Lesser General Public License version 3 or later.