Better quickcheck ==>

[ozgurakgun]

Haskell has a property based testing library called quickcheck, that was later reimplemented in many languages.

These libraries are (among other things) able to generate random members of algebraic datatypes. This is very useful for property based testing.

One shortcoming is the ==> operator. It's a great idea (i.e. only use values that pass a given precondition as test cases) however it's implementation is generate-and-test. We can do better.

Project is to use CP to replace the generators and the ==> operator.

Not necessarily a conjure-oxide project in the first instance. Can be implemented in Haskell/Python/Idris/Rust/whatever as a proof of concept. Integrating into mainstream langugaes would be ideal, but not it's not the first challenge.