语言参考#
本文档提供了 TVM 堆栈中嵌入式语言和中间表示（IRs）的参考资料。
Relay 简介#
Relay 是一种函数式的、可微分的编程语言，旨在成为机器学习系统中富有表现力的中间表示。Relay 支持代数数据类型、闭包、控制流和递归，这使得它能够直接表示比基于计算图的中间表示（IRs）更为复杂的模型。Relay 还包含了一种依赖类型的形式，通过使用 类型关系 来处理对参数形状有复杂要求的算子的形状分析。
Relay 设计上具有可扩展性，它使得机器学习研究人员和实践者能够轻松开发新的大规模程序变换和优化。
以下页面分别描述了 Relay 的语法、类型系统、代数数据类型以及算子。
混合脚本#
以下页面介绍了 TVM 的混合脚本前端，该前端通过软件仿真来支持一些 TVM 官方未正式支持的结构。