Ask HN: Searching for Functions via Type Signatures | Hacker News Reader

Ask HN: Searching for Functions via Type Signatures

4 pointstheSage1 comment

I just came across an old paper discussing searching for functions via type signatures. How prevalent is this kind of search perhaps in code search systems? Does anyone else know more about this kind of work?

    - https://github.com/theSage21/sigsearch
    - https://www.cs.cmu.edu/~wing/publications/ZaremskiWing93.pdf

View on HN

There's Hoogle, for Haskell: https://hoogle.haskell.org/

I don't know if it implements any techniques from that paper, but it does let you search for definitions by type signature. Of note, it also does a pretty good job of finding results with different-but-compatible types, which is very valuable in a Haskell context given all the polymorphism.

Reply on news.ycombinator.com