[Haskell-cafe] searching a function by providing examples of input/ouput pairs

2010-03-18 Thread Paul Brauner
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

Re: [Haskell-cafe] searching a function by providing examples of input/ouput pairs

2010-03-18 Thread Jonas Almström Duregård
Sounds great! Here are a few feature requests: The I/O pair ([-1,4,-6],[1,4,6]) could yield map abs as a suggestion :) The pairs ('a',False) and ('*',True) could yield not . isAlpha etc. I realize that this (at least the composition part) will probably increase complexity beyond what's

Re: [Haskell-cafe] searching a function by providing examples of input/ouput pairs

2010-03-18 Thread Tillmann Rendel
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.

Re: [Haskell-cafe] searching a function by providing examples of input/ouput pairs

2010-03-18 Thread Richard O'Keefe
On Mar 18, 2010, at 9:13 PM, Paul Brauner wrote: 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. The

Re: [Haskell-cafe] searching a function by providing examples of input/ouput pairs

2010-03-18 Thread Reid Barton
On Thu, Mar 18, 2010 at 09:13:40AM +0100, Paul Brauner wrote: 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.