問題タブ [haskell-hedgehog]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

21 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
2 に答える
107 参照

haskell - QuickCheck: テストに合格する関数がなく、代わりに何を使用する必要があるのですか?

のQuickCheckような機能がないのはなぜですか? 特に、次のようなプロパティをどのように変換できるか疑問に思っていました:hedgehogsuccess

QuickCheckif I use =/=then では、 type の何かを返す必要Propertyがあり、渡すプロパティを返す定数関数がないようです。

Boolしたがって、次のタイプに頼る必要があります。

または、非常に扱いにくいエンコーディングを使用しますsuccess。たとえば、次のようになります。

上記のプロパティを で表現するより良い方法はありますQuickCheckか?

0 投票する
1 に答える
73 参照

haskell - この Hedgehog ジェネレーターがより速く縮小しないのはなぜですか?

次の方法で任意の 256 ビット値を生成する Hedgehog ジェネレーターを作成しました。

size パラメーターで数値のバイト数を決定することは、私のアプリケーションにとって理にかなっていると思います。ただし、このジェネレーターがどのように縮小するかを評価し、ceiling . logBase 2これに適用すると、私の質問は次のとおりです。

Hedgehog が最初の結果の近くを強調することにしたのはなぜですか? 「サイズパラメータの影響を受けない範囲」の意味を誤解していませんか? ( Range.constant) ここでの縮小はビット数が少ないに違いないと考えていたでしょう。


12345678910