05/08/08 21:07:47
> ((dd) (d) (c) (b a))
> ↓
> ((d (dd) e) (c) (b a))
ここがよく分からない．eを新たにプッシュするときに，どうしてdはeと同じ
リストに含めて，ddは1つネストしたリストに入っているの? もっと言えば，
(c)や(a b)はd，ddと全く別の扱いを受ける必然性もないように見える．
要するに，リストのネストの深さを保存してないよ，ってこと．
05/08/08 21:07:47
> ((dd) (d) (c) (b a))
> ↓
> ((d (dd) e) (c) (b a))
ここがよく分からない．eを新たにプッシュするときに，どうしてdはeと同じ
リストに含めて，ddは1つネストしたリストに入っているの? もっと言えば，
(c)や(a b)はd，ddと全く別の扱いを受ける必然性もないように見える．
要するに，リストのネストの深さを保存してないよ，ってこと．