Pure / News: Recent posts

Pure is a functional programming language based on term rewriting, featuring dynamic typing, unrestricted polymorphism, full symbolic rewriting capabilities, curried functions, lexical closures, and an LLVM backend which JIT-compiles Pure scripts to fast native code.

This release features support for GNU Octave-style matrices, implemented using the GNU Scientific Library.

Downloads and release notes can be found here:
http://sourceforge.net/project/showfiles.php?group_id=226193

Pure is a functional programming language based on term rewriting, featuring dynamic typing, unrestricted polymorphism, full symbolic rewriting capabilities, curried functions, lexical closures, and an LLVM backend which JIT-compiles Pure scripts to fast native code.

This release sports many new features, most notably support for macros and lazy evaluation. The Windows package now also includes a little GUI frontend for editing and running Pure scripts.... read more

Pure is a functional programming language based on term rewriting, featuring dynamic typing, unrestricted polymorphism, full symbolic rewriting capabilities, curried functions, lexical closures, and an LLVM backend which JIT-compiles Pure scripts to fast native code.

This release sports LLVM 2.3 support and a bunch of bug fixes and improvements in the language, the standard library and the code generator.... read more

Pure is a functional programming language based on term rewriting, featuring dynamic typing, unrestricted polymorphism, full symbolic rewriting capabilities, curried functions, lexical closures, and an LLVM backend which JIT-compiles Pure scripts to fast native code.

This release features some more bug and portability fixes. An Emacs mode for Pure and support for executing Pure scripts using "shebangs" has been added. Moreover, there's a new syntax for abbreviating rules with different left-hand sides for the same right-hand side.... read more

Pure is a functional programming language based on term rewriting, featuring dynamic typing, unrestricted polymorphism, full symbolic rewriting capabilities, curried functions, lexical closures, and an LLVM backend which JIT-compiles Pure scripts to fast native code.

This release sports many bugfixes and improvements, and adds support for MS Windows (using Mingw); a binary package in MSI format is available as well.... read more

Pure is a functional programming language based on term rewriting, featuring dynamic typing, unrestricted polymorphism, full symbolic rewriting capabilities, curried functions, lexical closures, and an LLVM backend which JIT-compiles Pure scripts to fast native code.

This is the first bugfix release of Pure. Please see the release notes for further details:
http://sourceforge.net/project/shownotes.php?group_id=226193&release_id=596909... read more

This is the initial release of Pure, a dynamically typed functional programming language based on term rewriting.

Pure is closely related to the author's Q language (http://q-lang.sf.net) and is slated to eventually become its successor. Pure offers many new and powerful features such as local functions, block structure, lexical closures, incremental compilation, direct C interface, and a much improved interpreter environment, and has a completely new and cleaner design and C++-based implementation. The interpreter employs an LLVM (http://llvm.org/) backend to compile programs to native code on the fly, hence Pure programs also run much faster than their Q equivalents.... read more