エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
EoPL 読んでた記録の確認とその記録 (7) - yamanetoshi's diary
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
EoPL 読んでた記録の確認とその記録 (7) - yamanetoshi's diary
Ex.1.19 の free-vars および bound-vars はヤッツケ。とりあえずできあがりは GitHub に反映しといて E... Ex.1.19 の free-vars および bound-vars はヤッツケ。とりあえずできあがりは GitHub に反映しといて Ex.2.8 に着手。 とりあえず occurs-free および occurs-bound と expression を定義なのか。expression は既存を流用。て、Ex.2.7 の定義を使うことに今気づいている次第ス。 つうことは lexical-adreess を使う前提で occurs-free? および occurs-bound? を書きかえになるのかな。 とりあえず 以下なカンジになってます。 lexical-address.scm (add-load-path "../../define-datatype") (load "define-datatype") (define-datatype lexical-address lexica