The Pure Programming Language

Pure is a modern-style functional programming language based on term rewriting. It offers equational definitions with pattern matching, full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, built-in list and matrix support and an easy-to-use C interface. The interpreter uses LLVM as a backend to JIT-compile Pure programs to fast native code.

Pure is the successor of the author's Q language. It offers many new and powerful features and programs run much faster than their Q equivalents. (OTOH, Q still offers some additional library modules right now. Most of these will eventually be ported to Pure, but this will take some time.)

Pure is free software distributed under the GNU General Public License V3. The interpreter is known to compile and run without hitches on Linux, OSX and Windows, porting to other POSIX platforms should be a piece of cake.

Pure on the Web

• The downloads. You can find the source releases there, as well as binary msi packages for MS Windows.
• Old releases can still be found at Pure's SourceForge page.
• The svn repository. (The current development sources are in trunk/pure.)
• The MacPorts collection includes Ryan Schmidt's OSX port of Pure.
• The Packman project offers Toni Graffy's rpm packages for SUSE Linux.
• Michel Salim is working on Fedora packages, a source rpm and additional information is available here.
• The Gentoo ebuild by Álvaro Castro Castilla is available here.
• The pure-lang mailing list. Join us there to discuss Pure and ask whatever questions you have.
• The wiki. Not much there yet, but you can help with that. ;-)

Documentation and Examples

• Getting started. A quick guide to installing and using the Pure interpreter.
• The FAQ. Frequently asked questions with answers.
• The Pure Manual in html and pdf formats.
• The Pure Library Manual in html and pdf formats.
• A preliminary version of The Pure Programming Language is available. This is work in progress, but should already be useful as an introduction to Pure.
• New: The Pure Quick Reference. For the impatient.
• The README, INSTALL and NEWS files.
• Have a look at some programming examples to get an idea how Pure programs look like. More examples.
• Addons. An overview of addon modules and libraries for Pure.

The Grab Bag

• Eddie Rucker's "pure drop of water" images, freely available for use e.g. as desktop icons or website images (thanks, Eddie!).
• If you're still using LLVM 2.3, you'll need Cyrille Berger's patch to add PIC support on x86-64 systems. (This isn't required for LLVM 2.4 and later any more.)
• The llvmc in LLVM 2.5 has a bug which causes problems on 32 bit x86 systems. This patch fixes the problem. A patched up llvmc.exe for Windows is available here. (This bug was fixed in LLVM svn rev. 68127, so the patch shouldn't be needed with LLVM 2.6 and later any more.)
• If you want to build Pure on Windows, you might wish to have a look at Jiri Spitz' instructions for compiling LLVM and Pure with mingw. For your convenience, we've also put together a little package with required mingw libraries, dlls and headers. (Please note that there's also an msi package available for Windows users, so you only need this stuff if you want/need to compile Pure on Windows yourself.)

Author

Albert Gräf <Dr.Graef at t-online.de>

Dept. of Computer Music

Johannes Gutenberg University of Mainz (Germany)