osiire’s blog

ふしぎなそふとやさん

2009-02-15から1日間の記事一覧

続・ポイントフリー的ななにか

OCamlのlet多相は、 値は多相で処理。それ以外は単相。 単相が多相の部分型になってるときは、多相を回復。 という二段階。で、この部分型判定には、単相型がcovariantな位置にのみ出現するかどうかを調べる。covariantな位置というのは、要するに関数型の右…

今年も懲りずにGUIネタでPPL糧3ポスター決定。酒の肴にいじってもらうことになりました。よろしくお願いします。