Search by Type

Submitted by Greg Buchholz on Mon, 12/05/2005 - 12:37pm.
Here's a random thought. What if we had a way to search for Haskell functions by type signature. Take the Hierarchical Libraries, slice/dice/index the type signatures so that you could search for "Num b => a -> b" and it would present you with a list of functions like length :: [a] -> Int. You'd also probably want to allow swizzling of the input arguments so that you could find "map" with a search like "[a] -> (a -> b) -> [b]". Then the next step would be to analyze your existing code to see if you've reinvented any wheels.
Submitted by dtlin on Mon, 12/05/2005 - 3:11pm.

Hoogle fits your request just about perfectly.

Submitted by Greg Buchholz on Mon, 12/05/2005 - 3:20pm.

Nice. I wonder how long Hoogle has existed and why I didn't know about it until now.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.