打字机

这个包提供了一些原始类型用于进行类型级编程。目前它只提供布尔值、无符号数字和类型级别的列表。

类型级编程的快速入门。

如何从一个类型构建另一个类型？

要从一个类型构建另一个类型，我们使用 GATs（泛型关联类型）。一个关联类型可以看作是一个函数，它以类型 Self 作为其第一个参数，并返回一个类型。如果关联类型有泛型，它们可以被视为额外的参数。要使用这些类型执行操作，您可能需要添加 trait 约束以访问其他类型函数。Trait 约束是类型的类型。有时您可能需要使用 <T as Trait> 语法来使用 Trait 的关联类型

计算复杂类型的主要方法是使用递归。`list` 和 `num` 模块广泛使用了它。