2014-02-11 picrin scheme開発メモ #4 末尾呼び出しとVMへのトランポリン ちょっと日が開いてしまったせいでやる気が半減しているのだけれども頑張って書く。 VMへのトランポリン Schemeが末尾呼び出しの最適化(Tail Call Optimization, ないしTail Call Elimination)を規格として要求しているのはとても有名な話だけれど、その細部について書いている記事は少ない。R7RSでは末尾呼び出しに関する言及は3.5. Proper tail recursionの中にある。約80ページあるR7RSの企画書の中で11ページ目なのでかなり最初のほうだ。ここには末尾位置に関することがずらずらと並べて書いてあって、まあそれはいいのだけれど、特に重要なのが最後の部分である。曰く、 Certain procedures defined in this