SML/NJ

2022年10月7日 (五) 07:58的最后版本

您可以在Wikipedia上了解到此条目的英文信息 SML/NJ Thanks, Wikipedia.

SML/NJ

[编辑] 简介

新泽西 Standard ML（Standard ML of New Jersey，简写SML/NJ，新泽西标准元语言），BSD-like license。

SML/NJ 最初是贝尔实验室和普林斯顿大学联合开发。

除了它的运行时系统是用 C 语言写成之外，SML/NJ 大部分都是用 Standard ML 编写的。

[编辑] 功能

• SML/NJ 向 SML'97 基础库扩展了一些额外的顶层结构
• SML/NJ 也提供了并非 SML'97 的标准特征的一些语法构造
• MLton 是标准前端编译器，它拥有对 Successor ML 的某些支持

[编辑] 指南

Debian

$ sudo apt install smlnj
$ sml
Standard ML of New Jersey v110.79 [built: Tue Aug  8 16:57:33 2017]
- 1 + 2 * 3;
val it = 7 : int

源代码

$ svn co --username anonsvn https://smlnj-gforge.cs.uchicago.edu/svn/smlnj/admin admin
anonsvn
$ admin/checkout-all.sh

[编辑] 项目

• SML/NJ @ GitHub

[编辑] 图集

[编辑] 链接

• Standard ML of New Jersey
• SML/NJ SCM Repository