zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ Lisp LispKit Lisp Python 言語処理系 前回に続いてstep関数内の命令コードに対するパターンマッチを見ていく。 今回見ていくのは以下の命令コード： 条件分岐のSEL、JOIN スタックに値を乗せるLD、LDC、LDF 関数適用のAP、RTN 再帰関数のためのDUM、RAP プログラム停止のSTOP 条件分岐のSEL、JOIN SELコードはスタックの先頭要素に応じて分岐する： ("T".s) e (SEL n m.c) d -> s e n (c.d) ("F".s) e (SEL n m.c) d -> s e m (c.d) このnとmは数値だが、実際にはメモリ番地を表している。 スタックの先頭要素が”T"（つまり真）であれば… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F10%2F03%2F112926" title="LispKit Lisp処理系の実装　６：SECD抽象機械の状態遷移〜条件分岐、関数関連など - 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 2021-10-03 11:29:26 rich https://zehnpaard.hatenablog.com/entry/2021/10/03/112926 1.0 100%