Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore type-based API search beyond Haskell in this 46-minute conference talk that introduces TypeSearch, a language-independent approach to type-directed programming. Learn how Hoogle's type-based search capabilities for Haskell APIs can be extended to other typed programming languages, allowing developers to find library functions by providing approximate type signatures. Discover the elegant solution inspired by the Curry-Howard correspondence that makes this type-directed search possible across multiple programming languages. Understand how this generalized approach to type-based API search also enables automatic code synthesis as an additional benefit. Gain insights into the technical implementation details and see demonstrations of TypeSearch in action, showing how developers working in various typed languages can benefit from the same powerful search capabilities that Haskell developers enjoy with Hoogle.
