Threw together an implementation of TCO in #emacs lisp yesterday! https://gist.github.com/Wilfred/5615907/b178d7f60200da325c61926f587848fddd603218 Forced me to think quite hard for a while :)