blob: 9f2a2cf2038a74a3b21a31a0f3484c323ecceeea (
plain) (
blame)
1
2
3
4
5
6
7
8
|
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.
WWW: https://code.google.com/p/pure-lang/
|