HM型推論にレコード型を追加していく。今回のコードはこちら。 型 Record型を追加： type ty = ... | TRecord of (string * ty) list 基本的にはタプル型の要素に文字列のラベルがついているというイメージでいい。 TRecord of (string * ty) listとTRecord …