Stephen Tetley wrote:
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
Thank you. :-)
I had heard rumous that things like this exist somewhere, but it's
almost impossible to Google for...
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
