それは存在しますか?見つかりません。ウィキペディアに掲載されていません。(つまり、存在しないということです:))
node.jsにあることは知っています。私のノードアプリをcoffeescriptで記述し、クイックチェックを適用することが機能するかどうかはわかりません。
http://en.wikipedia.org/wiki/Quick_check
手がかりはありますか?
それは存在しますか?見つかりません。ウィキペディアに掲載されていません。(つまり、存在しないということです:))
node.jsにあることは知っています。私のノードアプリをcoffeescriptで記述し、クイックチェックを適用することが機能するかどうかはわかりません。
http://en.wikipedia.org/wiki/Quick_check
手がかりはありますか?
特にCoffeeScriptで、またはCoffeeScript用に書かれたQuickCheckライブラリは知りませんが、グーグルで検索するとqc.jsが表示されます。そのリポジトリの demo.js のスニペットを次に示します。
declare("reverse", [arbWholeNumList, arbWholeNumList],
function(c, x, y) {
var z = x.concat(y);
x.reverse();
y.reverse();
z.reverse();
c.assert(z.toString() == y.concat(x).toString());
});
私は CoffeeScript の専門家ではありませんが、これをhttp://js2coffee.orgで実行しました。qc.js をインポートできれば、CoffeeScript から qc.js を使用すると次のようになります。
declare "reverse", [ arbWholeNumList, arbWholeNumList ], (c, x, y) ->
z = x.concat(y)
x.reverse()
y.reverse()
z.reverse()
c.assert z.toString() is y.concat(x).toString()