|
|
|
|
|
|
by ionfish
5639 days ago
|
|
|
One of the interesting recent developments in Haskell testing is the creation of automated proof tools for Haskell programs. Will Sonnex presented Zeno [1] at AngloHaskell 2010, and while it still has limitations in terms of the language features covered, it's a fascinating glimpse into where software testing might go. [1] http://www.doc.ic.ac.uk/~ws506/tryzeno/ |
|
|