JVM におけるメモリ効率の良い末尾再帰最適化の実装の紹介 - ろじかるんるんものがたりやあやあ病人です。今日は特に予定もないので、最近読んだ論文の中から、適当にいくつかピックアップして紹介したいと思います。 Memory-efficient Tail Calls in the JVM with Imperative Functional Objects JVM における TCE(Tail Call Elimination) については、長い間研究されてきています。六年前に JVM での TCE についての Odersky 先生の論文を紹介する記事を書いたりもしました。もう六年前…こちらの論文は TCE の実現における常套手段が JVM では通用しないよという話や、historical な話が面白くて、実際の提案手法は、まあダメでしょ…みたいなものだったのですが、今回の論文の手法はかなり良いと思います。 JVM で TCE というと、矢張り Trampoline です。Tra
