SML/NJ软件

本页提供指向SML/NJ软件发行版的指针和安装说明。

当前版本

SML/NJ的当前版本是 版本110.812016年8月26日宣布。110.81版在Linux、Mac OS X(10.6及更高版本)和Windows(XP及更高版)下运行。

我们通常会在上发布新版本comp.lang.ml、comp.lang.functional、freshmeat.net和我们的开发邮件列表.

安装说明

要下载并安装当前版本的SML/NJ,请按照这些安装说明书.

分发文件

组成当前版本发行版的文件可通过http获得从这个开始指数第页。

以前的版本

当前和最新版本列在版本索引,允许访问最近的README文件版本和当前版本的文件分发页面可供下载。这个安装说明因为当前版本通常可以工作,经必要修改,对于旧版本。

版本0.93(1993年发布)仍适用于历史目的,但已过时且不再受支持。该代码的版本可以追溯到1987年根据要求。

基准

一组用作标准ML“基准套件”的程序可以通过svn结账在https://smlnj-gforge.cs.uchicago.edu/svn/smlnj/barkenchs。

SML/NJ编译器测试套件

SML/NJ编译器使用的回归测试套件包括svn签出网址:https://smlnj-gforge.cs.uchicago.edu/svn/smlnj/tests/trunk.

贡献的软件

一些贡献的软件包可以在(位置已确定)

当前此目录包含:
电子邮箱
sml-mode包提供了用于编辑的emacs模式Gnu-emacs下的sml代码,并将sml顶级作为电子邮件。最初由Matthew J.Morley开发,现在维护作者:Stefan Monnier(Monnier at iro dot umentreal dot ca)。在线文档可在此处获得。最新的sml-mode tarball位于网址:http://www.iro.umontreal.ca/~monnier/elisp/.

工具
各种软件工具,包括:
  • heap2exec,用于构建Unix的“heap2exec”实用程序堆映像中的可执行文件和SML/NJ运行时可执行文件。(这取代了Lorenz Huelsbergen最初的heap2exec实用程序。)

图书馆
一些捐赠或“借用”的图书馆,包括:
  • 实用目标。Z、 Nikolai Bjorner和Matthias提供的实用模块布鲁姆。
  • 获取opt.tar。Z、 GNU getopt库的端口(通过Haskell)。

其他程序包将在可用时添加。我们迫切需要新的贡献!


|SML/NJ主页|

将您的评论发送到
版权所有©2004-2017,SML/NJ Fellowship.