Think of QuickCheck/test.check but with better integration into the language. This makes it much more likely to be used but it's fundamentally the same set of

Think of QuickCheck/test.check but with better integration into the language. This makes it much more likely to be used but it's fundamentally the same set of ideas. A really cool idea I'm playing with at the moment is using fuzzing/static analysis based generators to feed spec/test.check. I think it will help get past the, imo, biggest issue with generators in that they can miss exceptional cases in the code. E.g. If (x=="jack and Jill) {exceptional case} is unlikely to be triggered with standard generators but "easy" for static analysis tools to solve. > Also, with enough heavy lifting you can actually encode all of that in the types in a dependantly typed language like Idris [1] In theory. In practice it is multiple orders of magnitude harder to prove properties in Idris than it is to spec them using property based testing.