
26 Jun
2014
26 Jun
'14
7:25 p.m.
On 27/06/2014, at 12:50 AM, Alois Cochard wrote:
I'm not replying to you nor Michael Orlitzky. I'm replying to Richard A. O'Keefe.
What is this thing called QuickCheck? A *fantastic* tool from a great source which has been imitated more or less successfully for several other languages. The results tend to show just how amazing the Haskell type system is. (Yes, types AND tests!) Whenever I use it, it helps me.