0

它存在吗?我找不到它,它也没有在维基百科上列出。(这意味着它不存在:))

我知道 node.js 有它。不确定在咖啡脚本中编写我的节点应用程序并应用快速检查是否可行。

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

有什么线索吗?

4

1 回答 1

1

我不知道任何专门为 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()
于 2012-05-25T20:56:20.303 回答