日期：2021-11-19 17:49:13 来源：雅诚德英语网 How can we extend the type system so that we don't have to circumvent it? 我们该如何扩展该类型系统，从而不必回避它呢？