今回はtypeof関数がレコード、バリアント、Fix関連でどう部分型に対応していくかを見ていく。 レコード レコードはフィールドの値が一つでもBottom型だったら全体がBottom型になる： | ERecord les -> let lts = (List.map (fun (l,e)->(l, typeof env e)) l…