TypeScript 类型推导好怪啊
有无 specification，需要学习