[Haskell-cafe] Re: searching a function by providing examples
of input/ouput pairs
paul.brauner at loria.fr
Thu Mar 18 10:58:42 EDT 2010
On Thu, Mar 18, 2010 at 01:49:20PM +0100, Janis Voigtländer wrote:
> Paul Brauner schrieb:
> >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
> > 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. :-)
Yeah that would be nice to have hoogle + not_yet_existing_matcher + igor
to wor together :)
Put it on my todo list.
> Jun.-Prof. Dr. Janis Voigtländer
> mailto:jv at iai.uni-bonn.de
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe