型システムにバリアント型とケースに対するパターンマッチを追加する。 こういうやつ： type t = Name of string | Id of int let to_str = function Name s -> s | Id n -> string_of_int n 代数的データ型における直和型であり、前回の直積型と合わせると…