なんじゃこりゃー どこらへんにConcurrent Cleanが関連しているのですか？

[id:lethevert:20070807:p1] まあ、型クラスで行う辞書渡しを手作業で実装すればいいだけですけどね。

Excelですよ！

型クラスのインスタンスにはspecialを付けることで特化関数を生成することができる。 class Deque q a instance Deque (FingerTree v) a | Monoid v special v = Int; v = Real と書くと、FingerTree v aのDeque操作に関する関数群に、一般の型に対する関数…

classに付けられたクラスコンテキストと、instanceに付けられたクラスコンテキストでは意味が違う。 class Measured a v | Monoid v where measure :: a -> v という宣言は、単に、Measuredクラスに属する型は、Monoidクラスにも属していますということを言…