TypeScript类型体操

高级类型推导的技巧总结，类型体操很有意思。