search

ndmitchell / hoogle

Haskell API search engine
http://hoogle.haskell.org/
Other
738 stars 134 forks source link

status of: "type search doesn't work" ? #247

Open jwaldmann opened 6 years ago

jwaldmann commented 6 years ago

The landing page https://hoogle.haskell.org/ says "Warning: Alpha version, type search doesn't work!"

Indeed, e.g., Bool -> Bool gives different results (&& and id are missing) (https://hoogle.haskell.org/?hoogle=Bool+-%3E+Bool vs https://www.haskell.org/hoogle/?hoogle=Bool+-%3E+Bool )

So I will recommend the "earlier hoogle" (which knows about partially applied functions, and instantiating type parameters) to my students.

What is the status - what needs to be done to move these features to hoogle5? How hard would it be (does it require extra research or design, or ist "just coding")? Or is there a reason for not wanting it?

ndmitchell commented 6 years ago

It's just coding I think, going through the tracker, fixing a few things.

Note that by design Hoogle 5 won't give you id or && for Bool -> Bool - since if you want a function of type Bool -> Bool then its unlikely that the two you give are what you are after.

soupi commented 6 years ago

I'm interested in helping pushing this forward. How can I help?