标准ML语言基本库

在所有的现代编程语言中，标准ML被公认为是属于最高级别的，由于其严密的语法定义，因此，被许多应用优先选择；另外由于其定义明确，因此可移植性很高。本书描述了标准的ML基本库，该基本库足够的丰富和有效支持这一通用语言的日常任务，书中提供了用于标准ML(SML)语言的基本类型及函数的集合，它们是由标准的ML定义(经修订的)[MTHM97]所描述的。