KMP's PFAQ: UNWIND-PROTECT vs Continuations (page 3)
Kent’s Original Complaint This original document was later updated. Click on the above tabs to see the updates. Problem Description The thesis of this article is that Scheme is mis-designed in that it does not seriously allow for the implementation of unwind-protect. The community of Scheme designers has rejected my repeated calls over the years to fix this problem. The The Revised5 Report on the
Three Dogmas of Scheme
Three Dogmas of Scheme (Recursion, Single name space and Continuation) R6RS にざっと目を通して一番驚いたのはそれまでの表示意味論が捨てられてしまっていることでした。 しかし 表示意味論 を捨てるなら以下に並べる Scheme 三つのドグマも捨てられなきゃ嘘だろう、ということでコメントしてみます。 Recursion (再帰) Scheme は何でも再帰です。 後で示すように、一見 iteration のような格好をしている構文ですら、 一旦末尾再帰に置き換えられてから実行されます。 つまり Scheme はその仕様に iteration を持ちません。 これが関数型プログラミングと関係の深い表示意味論からの要請であったことは容易に想像がつきます。 しかし、表示意味論が捨てられた今、反復制御構造に recursion
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
