做跨语言编译器时，要保留抽象中间代码，让源语言和目标语言结果数学上一致，语言差距