众所周知，TypeScript的类型系统因其高度灵活性而常常被戏称“类型体操”。其实复杂类型操作并非无迹可寻，本文就试图从元编程的角度挖掘一下类型系统的潜力，希望能够帮助你抓到一些思路和脉络。