discussion:en:en:en:typescript:高级类型系统