Question

它存在吗？我找不到它，它没有在维基百科上列出。（这意味着它不存在:)）

我知道node.js有它。不确定在coffeescript中编写我的节点应用程序并应用快速检查是否有效。

http://en.wikipedia.org/wiki/Quick_check

任何线索？

Answer 1

我不知道在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中使用它将如下所示：

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()

快速检查CoffeeScript

1 个答案: