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

[Tillmann Rendel]

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