5th

Concatenative language invented by John Nowak. It includes Static typing and Type inference and even experimental support for side effect inference. Distinctive is its use of First-order programming via Combining forms rather than most other concatenative languages' higher-order programming via Quotations (the one other concatenative language that could be said to share this characteristic is Forth, but Forth was never intended to be a functional language).