zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 言語処理系 前回のCEK抽象機械を拡張して、ミュータブルな状態のある言語も自然に実行できるようにする。 CESK抽象機械 CEK抽象機械はControl（実行する式）、Environment（変数環境）、Kontinuation（継続）の三つの要素を持つ。 CESK抽象機械はそこにStore（格納）を追加する。Storeは可変なメモリ領域を表す。 前回に続いて詳細についてはMatt Mightのブログ： matt.might.net あるいはFelleisen他の著作： mitpress.mit.edu を参照してほしい。 ちなみに今回のCESK拡張部分の実装に関してはMatt Mightのブログに厳密に… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F03%2F18%2F200749" title="CEK抽象機械をCESK抽象機械に拡張する - Arantium Maestum" 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 2022-03-18 20:07:49 rich https://zehnpaard.hatenablog.com/entry/2022/03/18/200749 1.0 100%