troter https://blog.hatena.ne.jp/troter/ 放牧日記 https://troter.hatenablog.jp/ 卒研 SIODのアルゴリズムをパクったらできたっぽい。 SIODのクロージャの末尾再帰の最適化は、クロージャの環境を拡張したものを現在の環境にして、codeの部分を次にえばるS式にしてる。頭いいなぁ。自分が作っている処理系はネイティブスタックで末尾再帰の最適化をやりたいのに、参考にした処理系がEmacsとSTklosってのは選択が悪い。Emacsは末尾再帰の最適化はなされていないし、STklosはネイティブスタックではなくスタックマシンを実装している。一番最初に読んだminischemeも考えると、つくづく自分の選択の悪さを感じられる。初めからSIODを読めばよかった。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftroter.hatenablog.jp%2Fentry%2F20070916%2F1189955386" title=" 末尾再帰の最適化 - 放牧日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-09-16 00:09:46 rich https://troter.hatenablog.jp/entry/20070916/1189955386 1.0 100%