Factor

A concatenative, stack-based programming language with high-level features including dynamic types, extensible syntax, macros, and garbage collection.