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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to