TSConf 2020 Talk: Pushing the Complier to the Limit

Presenter: Tim Suchanek @timsuchanek

With the example of Prisma Client (https://github.com/prisma/prisma) we can see how the combination of code generation and advanced types lead to an unprecedented developer experience for type-safe database access.

We will see how to push the TypeScript compiler to the limit in terms of quantity and complexity of our types. We will also cover how to do type-level programming, including type-level error handling, and how to combine advanced features like conditional and mapped types to create a novel experience for developers using the API. While these patterns are successfully used in Prisma Client for database access, this talk will hopefully motivate the application in other areas as well.