When people start with property-based testing, the very first mistake they make is reimplementing the function, in the exact same way, twice. Do we have a name for this?
Show this thread
-
e.g. isEven x = x `mod` 2 == 0 forAll (\x -> isEven x == (x `mod` 2 == 0))
Show this thread
This example is a consequence of Bool though, instead of expressing algebraic properties. See also: Rice's Theorem
