Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


Pure - Programming language

< >

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...

Example from Wikipedia:
extern int puts(char*); hello = puts "Hello, world!"; hello;

Publications about Pure from Semantic Scholar

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
strips.html 路 pure.html 路 vcf-format.html

View source

- Build the next great programming language Search Day 213 About Blog Acknowledgements Traffic Traffic Today GitHub