と における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 が詳し…

MacOSXにて， chown で所有者を変える場合．ユーザー名にドット '.' が含まれていると…例えば u.g というユーザー名の場合 $ chown 'u.g' file chown: separation of user and group with a period is deprecated chown: g: Invalid argumentとなってしまう…

と思ったら，デフォルトのロケールが英語(米国)になっていた。修正する方法は次のとおり。コントロールパネルの当該の項目を日本語に修正する。すべてのユーザーに適用する場合はそれぞれチェックボックス(XP)、ボタン(Vista)をクリックする。

まずは元論文にもある リストの appendを限定継続で書く例。この時点でついて行けてなかった。実はOlegさんのソースにもあるのだけど自分で書き直してみる。 -- -fno-implicit-prelude を指定すること (GHC 6.6) import ShiftResetGenuine import Prelude hi…

GHC で -fno-implicit-prelude オプションを与えると do記法を再定義できる。 上の Delimited Continuationをdo記法で書いてみた。 こんな感じかなあ {- ghciかghcに -fno-implicit-prelude (GHC6.6以前?) か -XNoImplicitPrelude (GHC6.8以降?) を指定する…

限定継続フェスタ があると聞きまして，私もちょっぴり勉強しています。 Schemeには馴れていないし、僕のPCには処理系も入ってないので、Haskellでやります。Olegさんの投稿 (http://www.mail-archive.com/haskell@haskell.org/msg20758.html ) から、Haskll…