本章介绍的「类型演算」，有点类似于 vue 中的 computed 计算属性。

    • 计算属性：根据已有的数据，计算出我们需要的数据
    • 类型演算：根据已有的类型，推演出我们需要的类型

      类型推演，这是袁老根据理解，自己起的一个名儿，我们需要掌握的是它表示的含义，这个名称并不重要。