本文翻译自Language Reference — tvm 0.9.dev0 documentation
本文档提供TVM的嵌入式语言和IRs的参考。
Relay介绍
Relay 是一种函数式的、可微的编程语言。它是一种面对机器学习领域的具有良好表达能力的IR(intermediate representation 中间表达)。Relay支持代数数据类型,闭包,控制流和递归,这使得它可以直接表示比基于计算图IR的(模型)更复杂的模型。Relay还包括一种使用type relation的依赖类型形式,用来处理对参数shape有复杂要求的算子的shape分析。 Relay具有良好的可扩展的,便于机器学习研究人员和开发者开发新的大规模程序转换和优化。
下面将分别描述了Relay中的语法、类型系统、代数数据类型和操作符
混合脚本
下面的页面描述了TVM混合脚本前端,它使用软件仿真来支持一些在TVM中没有正式支持的功能。