tvm.relay学习（六）——ADT（代数数据类型）构造

在本节中，我们将简单地注意到ADT（代数数据类型）构造函数被赋予函数类型，并且应在函数或操作符之类的调用节点内使用。通过提供其构造的ADT（代数数据类型）的名称（全局类型变量）和该构造函数的预期参数的类型，可以定义ADT（代数数据类型）构造函数。

如果ADT（代数数据类型）定义包括类型变量，则这些类型变量可能会出现在构造函数中。构造函数不能包含任何其他类型的变量。

让我们假设这D是一个ADT（代数数据类型），它接受类型参数 a和b。如果C1是的构造函数，D 并且需要两个参数，一个为type a，另一个为type b，则 C1具有以下类型签名： fun<a, b>(a, b) -> D[a, b]。如果D另一个构造函数为C2，不带任何参数，那么它具有以下类型签名：fun<a, b>() -> D[a, b]; 类型参数将始终出现在返回类型中。

调用后，构造函数将生成一个ADT（代数数据类型）实例，该实例是一个容器，用于存储该构造函数的参数值以及该构造函数的名称（“标记”）。当ADT（代数数据类型）匹配时，该标记将用于解构实例并检索值 。