4 ms·
How does that differ from, say, Haskell's QuickCheck [1] and its ten thousand counterparts in other languages? [1] http://en.wikipedia.org/wiki/Quickcheck http
by apl 15y ago
How does that differ from, say, Haskell's QuickCheck [1] and its ten thousand counterparts in other languages?
[1] http://en.wikipedia.org/wiki/Quickcheck http://en.wikipedia.org/wiki/Quickcheck
- nnq 15y agoThanks, I took a better look at that and realized there are 2 implementations of QuickCheck for Python... I'm not really a Haskell developer so I didn't knew much about QuickCheck. Though I still think none of our current programming languages are good "test" languages... I just gave Haskell as an example, but there are probably tons of things that would make it annoying for writing descriptive versions of an algorithm that could be used as tests... And at least the Python version of QuickCheck I just looked at are far from a descriptive "implementation" of a function... they seem more like some test-automation that could only prevent most of the bugs that might not crop up in typed language...