と におけるColって同じと違うのか…？ちゃんと勉強しなおさないと...

Strongly typed heterogeneous collectionsの論文では、Haskellの型クラスで使える種々のテクニックが解説されている。なかでも、型クラスTypeCastで型推論の向きをプログラマが指定する(type improvement)というテクニックがとてもおもしろい (8節の直前)。…

これ、バグといっていいのかどうか．Hugsで class TypeCast a b | a->b, b->a where typeCast :: a->b instance TypeCast a a where typeCast = id class Col' a b where inCol' :: a -> b instance TypeCast a b => Col' a [b] where inCol' x = [typeCast …

(超ひさしぶりの更新です。) MacOSX Server (Leopard) で CalDAV / Sunbirdでアクセス Sunbirdで LeopardのiCal サービスに作成したカレンダーを閲覧・修正できます。 やり方は Jonathan Saggau's Blog: Leopard server, calDAV, and Mozilla Sunbird が詳し…