标准ML编程语言
使用新泽西州标准ML
获取并安装SML/NJ软件 -
SML/NJ是一种免费的开源软件,由 BSD 3条款 许可证 。有关macOS和Windows可下载安装程序的链接,请参阅 最新版本位于 的索引 版本 。要从源代码构建当前(旧版)版本,请参阅 旧式存储库的README文件 。 SML/NJ常见问题解答 -
SML/NJ的常见问题解答位于“ 暂停开发 “因此仍然非常 残缺不全。 SML/NJ交互系统 -
如何开始 sml公司 :如何编译和运行程序。
编译管理器 -
SML/NJ编译管理器, 厘米 、组织和 优化编译过程。 CM计算并缓存 模块之间的依赖关系图。 编辑模块并 重新编译后,CM将比较新模块的导出类型签名 与旧版本相比,最大限度地减少需要 重新编译。 请参阅 CM手册 了解详细信息。 SML/NJ错误消息 -
SML/NJ编译器打印的错误消息的解释(不完整且过时)。 SML/NJ的特殊系统特性 -
一组结构,包括 SMLofNJ公司 及其子结构 系统 SML程序的功能。 该组包括结构 Cont(续) 和 悬念 介绍 一流的延续 和 悬浮液 分别是。 SML/NJ的语言扩展 -
SML/NJ支持对标准ML语言的一些扩展,例如 记录表达式和模式、OR模式以及高阶函子。 这个 编译器 结构 -
此结构包含用于控制 编译器和交互系统的操作,以及接口 SML/NJ编译器的各个阶段。 SML’97转换指南 -
标准ML'97语言几乎兼容,但不完全兼容 SML/NJ的早期版本支持1990年的定义。 在极不可能的情况下,需要在 引入标准ML’97,本转换指南解释了差异, 并举例说明如何将SML’90码转换为SML’97码。
图书馆
标准ML基础库 -
这个库由类型、函数和接口组成 是ML标准的一部分,包括用于 I/O、操作系统接口、整数运算、实数运算、, 和单词(无符号整数)、数学函数、操作 字符串和子字符串等。 新泽西州图书馆标准ML -
SML/NJ库包含库和实用程序函数 不是标准标准的一部分。 SML/NJ库 包括二进制搜索树、可调整数组、, 以及Util目录中其他有用的数据结构。 这个 Unix目录提供了其他特定于Unix的功能, 而HTML目录支持处理网页。
编程工具和库
ML-Lex(ML-Lex) -
一个类似于经典Unix-lex的词汇分析器生成器。 ML-Yacc公司 -
一个类似于经典Unix yacc的解析器生成器,但带有 语法错误修复功能。