I would like to have a program that can synthesize programs for a
given type, composing only functions from a given library.
For example, suppose my library has
isZero :: Int - Bool
map :: (a - b) - [a] - [b]
and :: Bool - Bool - Bool
fold :: (a - b - a) - a - [b] - a
True :: Bool
(.) :: (b -
On Sun, Jan 28, 2007 at 09:11:33PM +0100, Klaus Ostermann wrote:
I would like to have a program that can synthesize programs for a
given type, composing only functions from a given library.
For example, suppose my library has
isZero :: Int - Bool
map :: (a - b) - [a] - [b]
and :: Bool -
Hi,
I have got loads of requests to allow Hoogle to do this, usually
something like if you search [Bool] - [Bool] it should suggest map
not, or something - combining functions into the one you want.
Unfortunately the search space would be huge for even the smallest
library. Worse still, the
