Pure programming langauge

Created: Feb 20, 2018 by Pradeep Gowda Updated: May 28, 2020

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.

REPL

1. offers completion
2. show foo will print the definition of defined functions and vars.

Language notes

1. records == “hash pairs”