discussion:en:en:typescript:第十三章_类型推断