クロージャーの基本的な小さなステップの構造的運用セマンティクスはどこにありますか？

字句閉包は、ファーストクラスの機能を備えた言語での実装手法です。

関数クロージャーの簡単な操作説明に興味があります。誰かがそのような説明を知っていますか？

— オハドカンマル
ソース

ええと、アドバイザー、SOSの発明者に聞いてみませんか？

— Andrej Bauer

あなたは執拗です。

— オハドカンマー

小さなステップのSOSを自分で書き留めることを妨げる特定の困難はありますか？

— Martin Berger、

私はあなたが何をしているか知っています！

— Andrej Bauer

この質問はそれとは無関係ですが、私はそう願っています。

— Ohad Kammar 2012年

回答:

ボブ・ハーパーの本の第29章はあなたが探しているものですか？

— アンドレイ・バウアー
ソース

いいえ。これは、私がよく知っている標準のCKマシンスタイルのセマンティクスです。PL実装の伝承から、字句的閉包は標準的な方法であることを知っています。私はそれらを正式に強調する意味論的な記述があるかどうか疑問に思っていました。

— オハドカンマー

タイトルと質問を編集して、探しているものを明確にできますか？

— Martin Berger

いいえ、彼は論文を書いてアドバイザーに相談するべきです。または、彼のアドバイザーにStackExchangeを使用させる。

— Andrej Bauer

クロージャーは、私が学部のプログラミング言語のクラスで教えようとする重要な概念です。私の講義ノートはオンラインで見つけることができます。

Handout 8は、環境とクロージャーを使用した大きなステップのセマンティクスを示しています。Handout 9は私のSECDマシンの味を示しています。（後者は、生徒が詳細に迷い、直感が発達しなかったため、教育目的ではそれほどうまく機能しませんでした。そのため、私はビッグステップセマンティクスに切り替えました。）

これらのどちらもあなたが求めているものではありませんが、おそらくそれらは出発点を形成する可能性がありますか？

— ウダイレディ
ソース