discussion:typescript:高级类型系统