Plankalkül [0] is cool. I was impressed when I learned it had lambdas.

[0] http://en.wikipedia.org/wiki/Plankalk%C3%BCl