A statically typed concatenative programming language.