A statically typed concatenative language.