16

QuickCheck1 から QuickCheck2 に変換できるクックブックはありますか?

いくつかの例として、defaultConfig(に置き換えArgs) とtrivialが削除され、CoArbitrary導入されました。

私はQuickCheck 2の新機能を読みました（単一の回答で...） 。

4

2 に答える 2

1

私はそのような文書を知りません - 残念です!

ただし、メーリングリストに投稿された少なくとも 1 つの部分的な変更リストがありました: http://osdir.com/ml/lang.haskell.general/2006-11/msg00060.html

そこにあるリストには次のものが含まれます。

  • 失敗したテスト ケースを縮小します。
  • モナド コードのテストをサポートします。
  • 例外を適切に処理します。
  • coarbitrary は別のクラスに移動し、Arbitrary の単純なインスタンスを簡単に記述できるようになりました。
  • テスト データの生成を変更するための型レベルの修飾子 (NonNegative など)。
  • マジック機能表印刷。
  • プロパティが失敗したときのユーザー定義のアクション。
于 2015-02-20T04:57:11.367 に答える
1

QuickCheck2 の作成者は、あなたのような質問に答えるために通常使用されるリリース ノートを提供していないようです。作成者が API ドキュメントを更新したと仮定すると (うーん、それが何を意味するかはわかります!)、それをあなたが持っているバージョンと比較することができ、その違いからクックブックが得られます。最後の手段として、ソース コードを比較することもできますが、その場合、気にしているよりも多くの違いが見られる可能性があります。

于 2014-07-17T18:47:45.820 に答える