编译数据/抽象绑定树结构/抽象语法树/副作用检查。豫 · 豫言 / 编译器核心 @ 0.1.0

← 全部模块

模块 / 4

编译数据/抽象绑定树结构/抽象语法树/副作用检查。豫

编译数据/抽象绑定树结构/抽象语法树/副作用检查。豫

1公开名称

表达式无副作用

公开

化「表达式」而「爻」

检查给定的表达式是否可以被消除我们假设ANF形式