Re: [Haskell-cafe] searching a function by providing examples of input/ouput pairs

Paul Brauner wrote:

feature [...] to search function in the library by giving a list of pairs of inputs/ouputs. [...]

But, piggibacking such a feature on top of hoogle would surely be more efficient:

1. infer types for arguments and outout 2. look for matching functions using google 3. test them

Sounds cool. Maybe you could use quickcheck properties instead of input-output-pairs. And what about using djinn to handle functions and algebraic data types? Tillmann