Concurrent Clean : ABCマシン(5)
[id:lethevert:20051227:p1]
これは、[0,1,2,3,4]を生成するABCコードだが、この _Nil, _Cons は、cgcode.cで、descriptor_nameという変数名を与えられていた。ds(= descriptor store)に蓄えられている名前かな?
buildh _Nil 0 buildI 4 buildh _Cons 2 buildI 3 buildh _Cons 2 buildI 2 buildh _Cons 2 buildI 1 buildh _Cons 2 buildI 0 buildh _Cons 2