Explicit TCO does get you part of the way there for sure. But being forced to think about it is what gets me. If I ever needed the JVM compatibility that badly I would probably stomach the additional syntax. Although if I'm going all the way there, I'll start craving the Common Lisp loop macro :)