Re: searching a function by providing examples of input/ouput pairs
Paul Brauner schrieb:
Hi,
I was looking at hoogle documentation when I remembered that there is some nice, but quite unusable, feature of squeak (smalltalk) which allows you to search function in the library by giving a list of pairs of inputs/ouputs.
When I'm saying that it is quite unusable, I mean that squeak has to try _every_ function, some of which may be very slow to deliver a result, or require some side effects.
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
Has anyone tried that before? If not I would be glad to.
Sounds like something useful to have. And you could even have the system use a list of pairs of inputs/outputs to give you functions that are *not* yet in any library. :-) http://www.haskell.org/communities/11-2009/html/report.html#sect6.11.1 -- Jun.-Prof. Dr. Janis Voigtländer http://www.iai.uni-bonn.de/~jv/ mailto:jv@iai.uni-bonn.de
On Thu, Mar 18, 2010 at 01:49:20PM +0100, Janis Voigtländer wrote:
Paul Brauner schrieb:
Hi,
I was looking at hoogle documentation when I remembered that there is some nice, but quite unusable, feature of squeak (smalltalk) which allows you to search function in the library by giving a list of pairs of inputs/ouputs.
When I'm saying that it is quite unusable, I mean that squeak has to try _every_ function, some of which may be very slow to deliver a result, or require some side effects.
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
Has anyone tried that before? If not I would be glad to.
Sounds like something useful to have.
And you could even have the system use a list of pairs of inputs/outputs to give you functions that are *not* yet in any library. :-)
http://www.haskell.org/communities/11-2009/html/report.html#sect6.11.1
Yeah that would be nice to have hoogle + not_yet_existing_matcher + igor to wor together :) Put it on my todo list. Paul
-- Jun.-Prof. Dr. Janis Voigtländer http://www.iai.uni-bonn.de/~jv/ mailto:jv@iai.uni-bonn.de _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
participants (2)
-
Janis Voigtländer -
Paul Brauner