Shrinking and showing functions: (functional pearl)

  title={Shrinking and showing functions: (functional pearl)},
  author={Koen Claessen},
Although quantification over functions in QuickCheck properties has been supported from the beginning, displaying and shrinking them as counter examples has not. The reason is that in general, functions are infinite objects, which means that there is no sensible show function for them, and shrinking an infinite object within a finite number of steps seems impossible. This paper presents a general technique with which functions as counter examples can be shrunk to finite objects, which can then… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.