2009-02-15から1日間の記事一覧
OCamlのlet多相は、 値は多相で処理。それ以外は単相。 単相が多相の部分型になってるときは、多相を回復。 という二段階。で、この部分型判定には、単相型がcovariantな位置にのみ出現するかどうかを調べる。covariantな位置というのは、要するに関数型の右…
今年も懲りずにGUIネタでPPL糧3ポスター決定。酒の肴にいじってもらうことになりました。よろしくお願いします。
OCamlのlet多相は、 値は多相で処理。それ以外は単相。 単相が多相の部分型になってるときは、多相を回復。 という二段階。で、この部分型判定には、単相型がcovariantな位置にのみ出現するかどうかを調べる。covariantな位置というのは、要するに関数型の右…
今年も懲りずにGUIネタでPPL糧3ポスター決定。酒の肴にいじってもらうことになりました。よろしくお願いします。