Pure

Pure is a programming language created in 2008 by Albert Gräf.

#883on PLDB	15Years Old	176Users
0Books	19Papers

Try now: TIO

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. Read more on Wikipedia...

Pure website
Pure Wikipedia page
Pure first developed in https://bitbucket.org/purelang/pure-lang/issues
Explore Pure snippets on Rosetta Code
See also: (14 related languages)FreeBSD, Linux, Haskell, Lisp, Alice, MATLAB, LLVM IR, C, Miranda, Pure Data, GNU Octave, OpenGL, FAUST, SuperCollider
HTML of this page generated by LanguagePage.ts

Example from Wikipedia:

extern int puts(char*);
 hello = puts "Hello, world!";
 hello;

title	authors	year	citations	influentialCitations
Proof-producing translation of higher-order logic into pure and stateful ML	Magnus O. Myreen and Scott Owens	2014	52	7
Position paper: nondeterminism is unavoidable, but data races are pure evil	H. Boehm	2012	48	3
Task-oriented programming in a pure functional language	M. J. Plasmeijer and B. Lijnse and Steffen Michels and P. Achten and P. Koopman	2012	47	5
Realizability and Parametricity in Pure Type Systems	Jean-Philippe Bernardy and Marc Lasson	2011	43	3
Representing Object Identity in a Pure Functional Language	A. Ohori	1990	26	1
Programming BDI Agents with Pure Java	A. Pokahr and L. Braubach and C. Haubeck and J. Ladiges	2014	21	0
Milestones from the Pure Lisp theorem prover to ACL2	J. S. Moore	2019	16	1
Automatic design of sound synthesizers as pure data patches using coevolutionary mixed-typed cartesian genetic programming	Matthieu Macret and P. Pasquier	2014	15	2
Pure ion chromatogram extraction via optimal k-means clustering	H. Ji and Hongmei Lu and Zhimin Zhang	2016	7	0
Pure trait-based programming on the Java platform	Lorenzo Bettini and F. Damiani	2013	7	0
Imperative Effects from a Pure Functional Language	L. McLoughlin and E. S. Hayes	1989	6	0
Pure Pointer Programs and Tree Isomorphism	M. Hofmann and Ramyaa and Ulrich Schöpp	2013	5	0
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language	K. Ueda	2002	4	0
A Game Engine in Pure Python for CS1: Design, Experience, and Limits	John Aycock and Etienne Pitout and Sarah Storteboom	2015	4	0
Parallel Programming with Pure Functional Languages	R. Harrison	1991	3	0
An evaluation of a pure embedded domain-specific language for strategic term rewriting	Shirren Premaratne and A. Sloane and Len Hamey	2013	3	0
A Synchronous Effects Logic for Temporal Verification of Pure Esterel	Yahui Song and W. Chin	2021	2	1
Introduction to Pure Data	Alexandros Drymonitis	2015	1	0
Dynamic programming in a pure functional language	R. Harrison and C. Glass	1993	1	0

title

authors

year

citations

influentialCitations

Proof-producing translation of higher-order logic into pure and stateful ML

Magnus O. Myreen and Scott Owens

2014

Position paper: nondeterminism is unavoidable, but data races are pure evil

H. Boehm

2012

Task-oriented programming in a pure functional language