Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 229

完全に理解した。私も同じ test-driver.scm を使っても大丈夫だな。

あ、なるほど？テストドライバーのモジュールをプログラムからロードしているわけじゃないから気にしなくていいのか。

LGPLv3 のプロジェクトで、テスト用のモジュールに GPLv3 でライセンスされたコードを使った場合どうなるんだ……。少なくともテストコードについては GPLv3 でライセンスしないといけないと思うんだけど、下記のプロジェクトではテストコードの部分も LGPLv3 になっているっぽい。https://git.lepiller.eu/guile-rdf

色々考えた結果、Guile-ACL2 は LGPLv3 でライセンスすることにした。

GPLv3 でライブラリを書く文化と nil があるので Gerbil Scheme に浮気せずに、GNU Guile を使っていくと決めた。

欲しい

Guile の歴史的な事情と elisp サポートのために nil が存在してくれているおかげで、ACL2 フロントエンドの実装が現実的になってきた。

nil の存在のせいでパフォーマンスの足を大きく引っ張っていることはなさそうとのことhttps://mstdn.maud.io/@omasanori/105967586171161800

なるほど、どうせ Guile から `nil` が消えたら Guile による elisp 実装も変わるだろうし、それを真似すればいいだけということで、ACL2 で `nil` 使っちゃうか。

GNU Guile で `(not x)` が真になる値を全て答えよ。という超難問を思いついた。

上の訂正不要だった

s/`# nil` がなければ/`# nil` のせいで/

偽と真リストの最後の cdr がそれぞれ二種類あるのはカオスすぎる

`# nil` がなければ不要な分岐が大量に発生している疑惑……。

Guile がどれくらい `# nil` をサポートし続けるつもりがあるのか調べるか……。`# nil` が存在するせいで Guile の性能に相当なダメージを与えているんじゃないかと疑っている。

nil を見たときに、'() として扱うべきか、`# f` として扱うべきか

FIXME remove this abstraction ってあるしやっぱ、nil は使わない方がよさそう。でもどうやって remove するんだ……。https://git.savannah.gnu.org/cgit/guile.git/tree/module/language/elisp/runtime.scm#n42

意図せずにハッシュタグを作ってしまった

Guile ってまだ `#nil` あるんだ……。ACL2 のプログラムを Guile で読むのに使えそうだけどあんまり使いたくない気持ちがある。

```scheme@(guile-user)> #nil$1 = #nilscheme@(guile-user)> (null? #nil)$2 = #tscheme@(guile-user)> (if #nil 1 2)$3 = 2scheme@(guile-user)> ```

だいたいイメージできてきた。下記の Guile で elisp のフロントエンドの実装と同じように ACL2 のフロントエンドを実装すれば私の野望は達成される。https://git.savannah.gnu.org/cgit/guile.git/tree/module/language/elisp