typedesc 就像一个通用类型。例如，符号 int 的类型是 typedesc [int] 。 就像常规泛型类型一样，当泛型参数被省略时， typedesc 表示所有类型的类型类。 作为一种语法方便，您还可以使用 typedesc 作为修饰符。

当存在多种类型的参数时，它们将自由地绑定到不同类型。 要强制绑定一次行为，可以使用显式通用参数：

通过约束与类型参数匹配的类型集，可以进一步影响重载解析。 这在实践中通过模板将属性附加到类型。 约束可以是具体类型或类型类。