Pure (programming language)

Pure
Using Pure with TeXmacs
ParadigmFunctional, declarative, term rewriting
Designed byAlbert Gräf
DeveloperAlbert Gräf
First appeared2008 (2008)
Stable release
0.68 / 11 April 2018 (2018-04-11)
Typing disciplinestrong, dynamic
OSCross-platform: FreeBSD, Linux, macOS, Windows
LicenseGNU Lesser General Public License
Websiteagraef.github.io/pure-lang
Influenced by
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.


Developed by StudentB