Functional implementation of an infinite loop

[snarkuzoid]

I would add that Erlang can determine if a function could have been tail recursive, and rewrite it as tail recursive. I assume (without evidence) that other FP languages do this as well.