Kitten http://t.co/1hYgxy5Dme is an interesting concatenative language. It's statically typed, which is very valuable in a stack-based lang.