Concurrent Clean : CleanJ : ABCマシン : buildh, fillh
buildh, fillhは、2種類のオブジェクトの生成で使われる。1つは、カリー化関数オブジェクトで、もう1つはデータ構造オブジェクト(リストや配列など)。この2つは、ABCマシン上では同じものとして扱われるようだ。
.desc指令でオブジェクトの基本情報が生成される。
.desc label_name string //d ラベル名 for buildh node_entry_label_name string //n ノードの書き換え関数(遅延実行) code_label_name string //l カリー化関数の実行(カリー化実行) arity int laby_record_flag int descriptor_name string //Clean関数名
カリー化関数オブジェクトに対して各引数が何に対応しているのかは、なんとなく分かったのだけれど、データ構造オブジェクトに対してはまだ未整理。