Haskellでtypeclassのlawをテストするライブラリ

昨日の「怖いScala」という勉強会の発表中の自分の発言が発端で以下のような会話をしていたら

モナド則を満たしてるかどうかを調べる仕組みがscalazにあるけどhaskellにそういう仕組みあるのかなって話をしてる

@yadokarielectri モナド則を満すかって保障できるもんなんでしょうか。。。

@masterq_teokure 満たすようにインスタンスを定義しないとモナドにならない気が

@yadokarielectri モナドにはならないですよ。でもテストするしくみがあるというのは「いつでもモナド則をみたすかテストできる」とは信じがたいなと。

@masterq_teokure なんかscalazではできるみたいな話をしてました。聞き間違えてるのかな

@yadokarielectri どうやってscalazでモナド則のテストをしているのか気になります。。。あ、やっぱ気にならないかも。。。

@masterq_teokure @yadokarielectri Scalacheck(HaskellのQuickcheck相当)で雑に引数生成してやってるだけです。証明とは程遠いので完全ではないですが、やらないよりはましというか。実際にそれのお陰で何回かバグ見つかってるので

@xuwei_k @yadokarielectri うーん。IOモナドっぽいないにかをrunMyIOみたいので結合する場合はどーするんでしょうね。。。

@masterq_teokure いや、その辺はもう色々と無理があるので本当に雑というか諦めていますね

@xuwei_k なるです。それでもテストしただけの価値はあったということですね。。。

山本さんから

.@yadokarielectri 最近では、このパッケージを使ってテストするのではないでしょうか？僕は試していませんが。 URL

という情報を頂いたので、とりあえずメモ。気が向いたら、Scalazの仕組みと比べてみたいですね・・・気が向いたら・・・