haskell-cafe@haskell.org
[Top] [All Lists]

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

Subject: Re: [Haskell-cafe] searching a function by providing examples of input/ouput pairs
From: Reid Barton
Date: Thu, 18 Mar 2010 23:08:55 -0400
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.
> 
> 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.

Take a look at MagicHaskeller; I think it does what you want.  There
was even a recent release on Hackage.

http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html
http://hackage.haskell.org/package/MagicHaskeller

Regards,
Reid Barton
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/haskell-cafe

<Prev in Thread] Current Thread [Next in Thread>