[翻译]Relay : TVM的一种新的高级IR

# Relay : TVM的一种新的高级IR
# 动机
# 设计
# 核心IR

• 类型

类型系统允许我们静态（即在编译时）区分不同类型的值。这意味着我们知道一个表达式将被估计为一个张量、一个函数（即（float32，float32）-> float32），还是一个元组（float32，int32）。此外，我们的类型系统具有形状通用的能力（即多态性，模板化）。### 控制流

抽象化

汇编

运行

## TVM协同设计
## 从NNVM过渡 ＃1672