OCamlのオブジェクトの型推論が大堀流レコードレベルの融通の利かないものになっている理由を、PPLでGarrigue先生に尋ねたところ「abbreviationがきれいにできることを優先したから」とのことでした。納得いくような、でもPolymorphic variantと同程度の複雑…