Snabel is a concatenative, statically typed programming language implemented as a C++ library.