标准ML语言基本库 |
| |
引用本文: | 胡海伦.标准ML语言基本库[J].国外科技新书评介,2005(5):9-10. |
| |
作者姓名: | 胡海伦 |
| |
摘 要: | 在所有的现代编程语言中,标准ML被公认为是属于最高级别的,由于其严密的语法定义,因此,被许多应用优先选择;另外由于其定义明确,因此可移植性很高。本书描述了标准的ML基本库,该基本库足够的丰富和有效支持这一通用语言的日常任务,书中提供了用于标准ML(SML)语言的基本类型及函数的集合,它们是由标准的ML定义(经修订的)MTHM97]所描述的。
|
关 键 词: | 标准 ML语言 编程语言 优先选择 可移植性 基本类型 定义 |
本文献已被 维普 等数据库收录! |
|