mzp https://blog.hatena.ne.jp/mzp/ みずぴー日記 https://mzp.hatenadiary.org/ Haskell 30分プログラム 30分プログラム、その94。QuickCheckを試す。 同じく、仕様に基づいたテストを行なうらしいRSpecの参考になるかな、と思って。 いいよ、これ。テストデータが自動で作られるのは、新鮮。 使い方 例えば、lengthが満しているべき性質を関数で記述する。 pLengthApp:: [Int]->[Int]->Bool pLengthApp xs ys = myLength (xs++ys) == (myLength xs) + (myLength ys) そして、これをquickCheckに渡す。 *Main > quickCheck pLengthApp OK, passed 100… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20070729%2Fquick" title="QuickCheckを試す - みずぴー日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-07-29 00:00:00 rich https://mzp.hatenadiary.org/entry/20070729/quick 1.0 100%