【TVM帮助文档学习】Relay的类型系统

本文翻译自Relay’s Type System — tvm 0.9.dev0 documentation
在介绍Relay表达式细节时，我们简单的涉及了Relay的类型，但是还没有详细描述整个类型系统。Relay是一种静态类型和类型推断语言，它在允许程序完全类型化的同时，只需要少量的显式的类型说明。 静态类型在执行编译器优化时非常有用，因为它们可以传递程序所处理的数据的属性，例如运行时形状、数据布局和存储，而无需运行程序。Relay的代数数据类型允许轻松、灵活地组合类型，以便构建可以归纳推理和用于编写递归函数的数据结构。 Relay的类型系统提供了一种形状依赖类型的形式。也就是说，它的类型系统在Relay程序中跟踪张量的形状。将张量形状视为类型允许Relay在编译时执行更强大的推理;特别是，Relay可以在程序操作很复杂的情况下，根据输入形状变化静态推理输出形状。将形状推断作为类型推断问题允许Relay在编译时推断所有张量的形状，包括在程序中使用分支和函数调用时。 以这种方式对形状进行静态推理允许对Relay做AOT编译（预编译？），并提供

【TVM帮助文档学习】Relay的类型系统最先出现在Python成神之路。