sorted by: recent | see : popular

Content Tagged with testing + haskell

この文書で説明されている例は凄い。あるパーサに入力するためのテキスト(ある言語のステートメントの列)を自動生成させるために、QuickCheckを使っている。この例の場合は、まずプログラ

Porting this to OCaml would be awesome.

"The IOSpec library contains a pure specification of several functions in the IO monad. You can use these specifications to test, debug, and reason about impure code."

A library for developing and running automated tests of Haskell code. Includes a useful manual.

Thread on general uselessness of ./Setup.lhs test in current Cabal.

The environment that we are designing, called Programatica, will allow programmers to assert properties of program elements as part of their source code, capturing intuitions and insights about its behavior at the time it is written.