Home

Interview With Albert Gräf - Author of the Pure Programming Language

Albert Gräf is the author of the Pure programming language. Pure is a functional programming language based on term rewriting. It has a syntax featuring curried function applications, lexical closures and equational definitions with pattern matching, and thus is somewhat similar to languages of the Haskell and ML variety. Pure is also a dynamic language, and is more like Lisp in this respect. The interpreter has an LLVM backend that does JIT compilation.

Part 1 and Part 2

By bashyal at 2011-03-16 14:09 | Functional | General | other blogs | 12341 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

term rewriting vs. pattern matching?

Is there a fundamental difference between pattern matching languages (like the π language or other languages with extensible grammar) and term rewriting languages like pure? To me it looks like two terms for the same concept.

By nichtich at Sun, 2011-04-03 22:00 | login or register to post comments