前回は吉例Lチカをやってみました。今回から uLisp の備える関数どもを端から一通り触っていきたいと思います。といっても御本家COMMON LISPのような膨大な関数があるわけではないです。約１８０個ほど。しかしその中のディスプレイ用関数群はディスプレイ接続しなければ不要。実際には百数十くらいか？
※Lispと一緒 投稿順 index はこちら
※実機確認は Raspberry Pi Pico2で行ってます。
※使用させていただいとります uLisp のバージョンは 4.6b (Arm用）です。
SOBJECT
uLispの内部では、sobjectという名の共用体がその骨格を作ってます。すべてはこれっす。sobjectは以下の２種類の構造体を「共用」しとります。
-
- carポインタとcdrポインタからなる構造体
- typeフィールドで格納内容が識別される共用体を含む構造体
carポインタもcdrポインタも指す先はsobjectデス。これにより何やらリストの骨格が形作られるわけであります。一方構築されたリストの「末端」では内部にシンボル名、整数、文字列、単精度浮動小数などを格納するのだと。
CAR、CDR一族
そうしてリストの所望の部分を取り出す関数は、carをとるのかcdrをとるのかハッキリしろい、ということで関数名はCARにCDRデス。朧げな記憶ではLISPの黎明のころのIBMのマシンのレジスタ名だったとか。知らんけど。uLISPの場合はCARとCDRの一族関数は全部で１４個しかありませぬ。まあ百数十個のうちの１４個なので大族。今回だけで約１０％の関数は舐め終わりデス。
uLispの場合、１４個「しかない」のは以下だからです。
-
- CAR、CDR
- 二文字のCxxR、xにはAかDが入る
- 三文字のCxxxR、xにはAかDが入る
まずはCARとCDR
単純なCARとCDRの例が以下に。
リスト ‘(a b c) のCARを取り出すと a であり、CDRを取り出すと ‘(b c) であります。CARの方はカッコが取れているのでSOBJECTの後の方の形式であり、CDRの方はカッコがあるので、SOBJECTの前の方の形式であることが分かります。
CAARにCADRにCDDR
とても全１４個を全部舐める気にはなれないので、CxxRの「２段重ね」の中から３つほどやってお茶を濁します。まずはCAAR。CARをとってその結果のさらにCARをとるのでCAARだと。
こんな感じ。
１回目のCARで ‘(a1 a2) を取り出せて、２回目のCARで a1 が取り出せるっと。
順序の表記はどうなってんの？というとこんな感じ。
(car (cdr … ) というのが cadrと書けるわけであります。よって、cadrはb1。一方cddrは(b2)。
３段重ねのやつも以下同文です。CARとCDRだけでもできないことはないけれどその一族あればまず大抵のことはスッキリ書けるはずだと、ホントか？