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関数名

カリー化関数オブジェクトに対して各引数が何に対応しているのかは、なんとなく分かったのだけれど、データ構造オブジェクトに対してはまだ未整理。