On 18 March 2010 21:34, Andrew Coppin <andrewcop...@btinternet.com> wrote:
> Is there a tool anywhere which can figure out how to construct a function > with a specific type signature? Hoogle works if the thing you seek is a > single function, but not so much if you need to throw several functions > together. > Hi Andrew There is Lennart Augustsson's Djinn & Oleg Kiselyov's 'de-typechecker' http://hackage.haskell.org/package/djinn Reversing Haskell typechecker: converting from undefined to defined http://okmij.org/ftp/Haskell/types.html Clean has something similar to generate test functions for GAST - Clean's equivalent to QuickCheck. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
