一种完全转移责任的软件工程实验：以性能为优先的 TypeScript 检查器
An experiment in fully hand-off software engineering: A performance-first TypeScript checker
