[Hoogle](https://hoogle.haskell.org) 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](https://typesearch.dev), 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](https://ndmitchell.com). TypeSearch is joint work with Marc Etter.