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

あと、Lisp の eval と他の言語の eval がなんか違う問題についてどこかに書きたい。あれ eval じゃなくて read-eval (もしくは eval-read)じゃん。

昔は第一級クラスの関数が Lisp の特徴だったがいまはそんなことはなくなってきたとか今残ってる特徴といえばマクロってよく言われてる気がするけど、やっぱ cons セルとシンボルが一番特徴的なんじゃないかな〜〜〜って思う。もちろんそれはマクロに繋がってるわけだけど。

Lisp で普通にプログラミングできるようになるまでの壁はやっぱり構文じゃないんだよ。cons とシンボルとそのクォートとそれらの外部表現が難しいんだよ。

Lisp 知らなくても雰囲気でなんか読めたりしないかな。

ACL2 の記事の対象読者を Lisp は知ってる人〜再帰は普通に書ける人〜ってするとかなり絞られちゃう気がするんだよな。

そもそも式をクォートするってのが意味不明なんだよな。それはどうやって説明すればいいんだ。

(append '(a b c) '(d e f))の方がなんかいい。(append '(#\a #\b #\c) '(#\d #\e #\f))は冗長だし、(append '("a" "b" "c") '("d" "e" "f"))は小指が疲れるし、(append '(1 2 3) (4 5 6))は何で数字にしなきゃならんのだって気分になるし。

あのわざわざ文字列を使うのかという感覚はどこから生じてきたのか。Land of Lisp あたりで洗脳されたんかな。

Lisper がシンボルを多用するのって eq で比較できるからとじゃなくて文字列と比べるとタイプ数が少なくて済むし見た目もすっきりしてるからという程度でしかない気がする。

あと、どうせマクロを書くときにシンボルの操作は避けて通れないし。

末尾再帰じゃない方がコードの見た目綺麗だし、リストが十分短い場合は普通に再帰した方が速いししゃあない。

OCaml の標準ライブラリの関数が末尾再帰でないことにみんな文句いってるやつだ。

軽くインターネットで調べると Ruby にはシンボルがあるっていうけどあれはハッシュのキーに使うとか、他にはなんか謎の使われ方がされる感じであって Lisp のプログラムの識別子もシンボルだよね〜ってノリとは違うし、REPL で何かちょっとしたことをするのに選ばれるものではないような気がしてる。

Lisp の特徴はマクロとかじゃなくて cons セルとシンボルなのではないかと思うようになってきている。

出自としては Lisp の中で Lisp を書くところからシンボルは始まっているわけだけどその話をするのはなんか違う気がするし。

Common Lisp のシンボルの話をちゃんとするのは難しいのでそれはやめるとしても、そうでなくてもシンボルを説明するのは大変だと思う。

何かの式の記号を表現するのに使えるやつみたいな感じの説明でいいんだろうか。eq で比較できるってことに識別子として利用可能という意味で重要だけどその話は難しいし。

Lisp のプログラムの簡単な例として(append '(a b c) '(d e f))って書くだけでもシンボルの話がでてくるので困る。

ACL2 の二分探索木の記事は不定期で進めているんだけど対象読者で悩んでる。Lisp 知らない人向けに簡単に ACL2 で使う範囲の Lisp のチュートリアルを載せようと思ったんだけど、シンボルと cons セルが難しい。Lisp の特徴にマクロがあるのは確かにそうだと思うんだけど、それ以上にシンボルと cons セルが特徴的だと思う。

シンボルが使えるプログラミング言語はたくさんあるんだろうけど、Lisp みたいに日常的にシンボルを使うプログラミング言語はなかなかないのではないか。

Lisp の cons セルを破壊して値を返すタイプのプログラム、Lisp 以外に存在しない気がしている。副作用を使う他のプログラミング言語なら配列とかだろうし、関数型プログラミング言語ならそもそも破壊しないだろうから Lisp 以外にこういう激ムズなリスト操作は存在しなそう。

今日はひさびさに副作用バリバリのプログラムの問題を解いた。普段は ACL2 しか使ってないし cons セルを破壊するという発想から忘れていたので超難しかったんだけど解けたので満足した。

人口が増えて生産性が求められるようになって土器がシンプルになったとしか思えん。