OCaml : 多相レコード

プログラミング

って、何だっけ？

::A t = {a :: t
        ,b :: t -> t}

みたいなparametric polymorphismのことではないよね。
上のサブタイピングの話に近い？

      • -

[id:mmatsuoka:20060831]
[id:soutaro:20060831]
いろいろ教えていただきまして、ありがとうございます。
ことの発端は、多相と言っているのにサブタイピングのことじゃん、と思って混乱し始めたのだったのですが、よく考えたら、サブタイピングも多相の一種でした。アホでした。