SML/NJ

来自开放百科 - 灰狐
2024年8月14日 (三) 01:49Allen (讨论 | 贡献)的版本

(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到: 导航, 搜索
Wikipedia-35x35.png 您可以在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

项目

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱