Jacob Kleerekoper

Learn More
A datatype-generic function is a family of functions indexed by (the structure of) a type. Examples of generic functions are equality tests, maps and pretty printers. QuickCheck is one of the most advanced tools for testing properties of functional programs. It supports the definition of properties and random test-data generators in Haskell, and checks if a(More)
  • 1