132函数式语言的编译简介 概述 将按需调用语义和静态约束的函数式语言SFP的 程序编译成FAM的机器语言 FAM是一种抽象机,它有一个栈,生存期符合栈 式管理的所有变量都分配在栈中;它还有一个堆, 所有其它的变量都存在堆中 先用一连串的例子来启发后面从SFP程序到FAM 程序的编译描述13.2函数式语言的编译简介 • 概述 – 将按需调用语义和静态约束的函数式语言SFP的 程序编译成FAM的机器语言 – FAM是一种抽象机，它有一个栈，生存期符合栈 式管理的所有变量都分配在栈中；它还有一个堆, 所有其它的变量都存在堆中 – 先用一连串的例子来启发后面从SFP程序到FAM 程序的编译描述