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