Pure (programming language)
| Pure | |
|---|---|
Using Pure with TeXmacs | |
| Paradigm | Functional, declarative, term rewriting |
| Designed by | Albert Gräf |
| Developer | Albert Gräf |
| First appeared | 2008 |
| Stable release | 0.68
/ 11 April 2018 |
| Typing discipline | strong, dynamic |
| OS | Cross-platform: FreeBSD, Linux, macOS, Windows |
| License | GNU Lesser General Public License |
| Website | agraef |
| Influenced by | |
| Q (equational language), 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.