Comment by let_rec

On the other hand, the JVM spec may prohibit some optimizations you are after. It's very dynamic after all!