Neil Mitchell wrote:
Hi
re: Hoogle not always getting it exactly right, there are a few known
bugs floating around which I'm working on. Hoogle can permute the
order of arguments though, so that shouldn't be a problem. It doesn't
really like Monads, but I wrote Hoogle before I was aware of
higher-kinded type classes, so its understandable...
Overall, I think Hoogle is an increadibly neat tool. I've never seen
anything else like it. (But then, how many other languages let you
virtually figure out what a function does just by its type signature?)
I shudder to think what Hoogle will be like if they ever get round to
adding MPTCs, ATs, rank-Ns and existential types to the language
standard... Good luck with searching for that! ;-)
OOC, how big is Hoogle and how long did it take to do?
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
