ML核心语言的FFP-ATS语义学:“值”的计算

ML语言是一种实验性的函数程序设计语言。它是研制得颇为成功的,且已趋于实用。在国内,该语言也已受到人们的关注。作者试图剥掉ML的“糖衣”,让它回到FFP系统上来;也就是,探讨ML的FFP-ATS语义学。由于ML语言成分相当丰富,并有不少特色,此项工作不可能在一文中全部包罗进去,因此,分几部分完成。本文涉及ML核心语言的“值”的计算这一部分的FFP-ATS语义学。