bellbind https://blog.hatena.ne.jp/bellbind/ ラシウラ https://bellbind.hatenadiary.org/ プログラミング言語のインタプリタを実装するとき、構文木にあわせて再帰で書くほうが基本的に楽だ。しかし、多くの実装で再帰呼び出しは回数に制限があったり処理が遅かったりする。そこで、再帰呼び出し型のevalをループで記述する動機ができる。ただ、いきなりループで書こうとすると、インタプリタコードがわけわからなくなるし、バグも入りやすい。そこでループを作る戦略として、 再帰呼び出しで実装 再帰呼び出しのContinuation Passing Style(CPS)化 CPS形式は末尾呼び出し形式でもある Continuationのde-functionalize、つまりContinuationの関数表… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbellbind.hatenadiary.org%2Fentry%2F20080121%2F1200914801" title=" evaluatorの再帰実装→CPS化→Continuationのde-functionalize→ループ化 - ラシウラ" 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 2008-01-21 20:26:41 rich https://bellbind.hatenadiary.org/entry/20080121/1200914801 1.0 100%