An approach to optimizing TypeScript type checking performance
edgedb.com