って、何だっけ？ ::A t = {a :: t ,b :: t -> t}みたいなparametric polymorphismのことではないよね。 上のサブタイピングの話に近い？ - [id:mmatsuoka:20060831] [id:soutaro:20060831] いろいろ教えていただきまして、ありがとうございます。 ことの発…

Cleanには、レコード型のサブタイピングがない。というか、サブタイピングそのものがないんだっけ？型クラスのサブタイピングはある。 下のような、直感的には書けて欲しいプログラムがコンパイルエラーになる。 ::A = {a :: Int ,b :: String} ::B = {a :: …

旧聞になりますけど、冥王星の件は、ここの話が面白いと思っていました。 http://www.lizard-tail.com/isana/diary/

ファイル操作やDB操作などで、エラーが発生したときにいちいちログ出力するコードを記述するのではなく、エラー処理イベントを発生させて登録してあるイベント関数をコールバックしてもらうという構造にする方が嬉しい。せっかく関数がファーストクラスなの…