>>9
Have you seen Lazy K? It's a purely functional esoteric language:

http://esoteric.sange.fi/essie2/download/lazy-k/lazy-k.html

It's essentially the SKI combinator calculus with an input and output system. Unlike Unlambda, it doesn't rely on side effects or evaluation order. Much purer and more elegant.