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.

Please check our website at for more information. The Pure Language and Library Documentation is available in html and pdf format. A very complete and up-to-date collection of packages for Arch Linux are available from the Arch User Repositories, please also check our Pure on Arch Linux wiki page for details. We also offer a reasonably complete set of Ubuntu packages at Launchpad. Instructions for installing Pure on the Mac can be found on the Pure on Mac OS X wiki page. Windows packages can be found on the Download page. Please also have a look at our mailing list / Google group and IRC chat (#pure-lang on freenode) if you need any help or if you want to discuss Pure.

Please also check my personal Bitbucket site for some fun side projects that I've written in or for Pure (mostly about computer music and multimedia).

Albert Gräf

Enjoy. :)