[Haskell-cafe] searching a function by providing examples of
rendel at informatik.uni-marburg.de
Thu Mar 18 10:46:34 EDT 2010
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
> 1. infer types for arguments and outout
> 2. look for matching functions using google
> 3. test them
Maybe you could use quickcheck properties instead of input-output-pairs.
And what about using djinn to handle functions and algebraic data types?
More information about the Haskell-Cafe