Proof with Scala

※今回はScala2.10.0-M3を使います。 ある型クラスのインスタンスを定義するとき、何らかの規則を満たす必要があるときがあります。 例えばMonadだとモナド則。 bind,returnを定義するときに、以下のものが満たされないといけません。 bind (return a) f = f a bind m return = m bind (bind m f) g = bind m (fun x => bind (f x) g) しかし、Scalazの型クラスなどはモナド則を満たしているかどうかを検査してくれるわけではありません。 そこで、コンパイル時に規則を満たしているかどうかを検査するように型クラスを定義してみます。 Monoidを例に考えます。 ScalazのMonoidの定義と違うところは、ある型のサブクラスも許容しているところです。 Monoidは以下のものを満たす必要があり

[zyzy]

型チェック時に再帰的に展開していくために、implicit def使うのが目から鱗。とは言え、Nothingが来ちゃうのか……。