API Discovery and Advanced Code Completion


Modern programming languages and programming frameworks include enormous libraries with tens of thousands of API entry points, reducing large portions of application development to searching for and composing already-written functionality. We aim to integrate advanced search and code-completion functionality, specialied to this task, into integrated development environments. We leverage the rich type structure of modern statically typed languages to index libraries and define queries in terms of partial expressions.