Hoogle for the Hungry Masses! - Farhad Mehta | Lambda Days 2025

[CodeSync]

Hoogle for the Hungry Masses! - Farhad Mehta | Lambda Days 2025

Hoogle for the Hungry Masses! - Farhad Mehta | Lambda Days 2025

This talk was recorded at Lambda Days in June 2025. If you’re curious about our upcoming event, check https://lambdadays.org

Hoogle for the Hungry Masses!

Hoogle is a type-based search engine for Haskell APIs. You give it an approximate type signature, and it will give you all library functions that match this type. Developers who get used to it miss something similar when switching to other programming languages. But non-Haskellers deserve good things too!

In this talk, I will introduce and demonstrate TypeSearch, a way to perform type-directed API search that can potentially be used for almost any typed programming language. I will also lift the hood to touch on how this problem was solved in an elegant and language-independent way using inspiration from the Curry-Howard correspondence, and how solving this problem in a more general setting also gives us code synthesis for free.

Attribution: Hoogle is the work of Niel Mitchell. TypeSearch is joint work with Marc Etter.

Comments welcome! View the code-sync tag for more Code Sync talks!