I think more people would give Pure a try if it wasn't advertised primarily as a term rewriting language. Pure is a dynamically-typed, eager, impure functional

I think more people would give Pure a try if it wasn't advertised primarily as a term rewriting language. Pure is a dynamically-typed, eager, impure functional language with Haskell-ish syntax. It also has optional type declarations and forced lazy evaluation. "Term rewriting" is the evaluation model.