tagged pointer And gc

tagged pointerにするとポインタは型情報を持っているけれどもポインタの参照先は型情報を持っていない為、ヒープを操作してフリーする時に問題が生じる。Symbolの様に名前(char *ポインタ)を持っている場合を判定できない。これを避ける為には型ごとに heap, freelist を持つ必要が有る。

という事にはっと気づいて書き直すのがだるくなってので寝る。コードが色々かぶりそうでダサいなぁ。しかたないか。