2005-09-08から1日間の記事一覧
http://sky.zero.ad.jp/~zaa54437/programming/clean/CleanBook/part2/Chap5.html ここに書いてあることと、ライブラリの内容が違うんですが・・・
[id:lethevert:20050907:p1] 一意性の問題は、以下のようにして解決しました。 //** 型クラス = インターフェース の定義 **/ class FileIO a where save :: *File a -> *File IFileIO = E.a: { val :: a , save :: *File -> *(a -> *File) } castFileIO :: …