>consセルは32bit環境で素直に作ると、car(4)/cdr(4)/識別子(1〜4)で、
>少なくとも9〜12byteは必要でしょう。

>Lispのconsセルはポインタ2つきっかりになるのが普通だ
>よ。Javaとかと違って型の種類が固定だから、ポインタの
>下3ビットとかに型情報をエンコードする。特にconsセル
>と小さい整数あたりは最も効率よい表現を割り当てる。

古いネタ(Part2からの)で恐縮ですが。。Scheme処理系を作ってみたくて勉強
しています。過去スレを漁っていると上のようなやりとりを見つけました。
minischeme は前者の方法、gauche では後者の方法をとっていると思うのです
が、ここら辺について詳しい人、解説してもらえませんか？ (もちろん Part2
のこの後のやりとりも読んでいるんですが)

後者の方法を使うとポインタの指す先を見なくても型が分るということなので
すが、ポインタの下3ビットに別の情報を埋めこんでしまって、そのポインタ
の指すデータはちゃんととってこれるんでしょうか。

うーん、書きながら何だかまだまだ勉強不足な気がしてきました。。