Reasoned Schemer (16) addero - kb84tkhrのブログ

90
adderoの定義は104コマめにあります。

なぜ前方参照？
しかもadderoややこしそう・・・

(run 3 (x y r) (addero 0 x y r))の値はなんですか。
((_0 () _0)
 (() (_0 . _1) (_0 . _1))
 ((1) (1) (0 1)))

値がそうなることは（順番を除けば）理解できる

((1) (1) (0 1))は ground value を表現していますか？
はい。
(_0 () _0)は ground value を表現していますか？
いいえ、具象化された変数を含んでいますから。

ground valueってのはまだ出てきてないよな
一般用語でもないよな（たぶん
これが定義と思ってればいいのか

次のコマに進む前に
ホットファッジサンデーを召し上がれ！

ホットが熱いなのか辛いなのかはわかりません
その後(run 19 (x y r) (addero 0 x y r))の値を見ながら

ふむ