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