欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
SML/NJ
来自开放百科 - 灰狐
(版本间的差异)
(以“{{SeeWikipedia|Standard ML of New Jersey}} SML/NJ ==简介== 新泽西 Standard ML(Standard ML of New Jersey,简写SML/NJ,新泽西标准元语言),B...”为内容创建页面) |
小 (→项目) |
||
| (未显示1个用户的6个中间版本) | |||
| 第13行: | 第13行: | ||
*SML/NJ 向 SML'97 基础库扩展了一些额外的顶层结构 | *SML/NJ 向 SML'97 基础库扩展了一些额外的顶层结构 | ||
*SML/NJ 也提供了并非 SML'97 的标准特征的一些语法构造 | *SML/NJ 也提供了并非 SML'97 的标准特征的一些语法构造 | ||
| − | *[[MLton]] | + | *[[MLton]] 是标准前端编译器,它拥有对 Successor ML 的某些支持 |
==指南== | ==指南== | ||
| 第22行: | 第22行: | ||
- 1 + 2 * 3; | - 1 + 2 * 3; | ||
val it = 7 : int | val it = 7 : int | ||
| + | 源代码 | ||
| + | $ svn co --username anonsvn https://smlnj-gforge.cs.uchicago.edu/svn/smlnj/admin admin | ||
| + | anonsvn | ||
| + | $ admin/checkout-all.sh | ||
==项目== | ==项目== | ||
| + | *[https://github.com/smlnj SML/NJ @ GitHub] | ||
==图集== | ==图集== | ||
| 第29行: | 第34行: | ||
==链接== | ==链接== | ||
*[http://www.smlnj.org/ Standard ML of New Jersey] | *[http://www.smlnj.org/ Standard ML of New Jersey] | ||
| + | *[http://smlnj-gforge.cs.uchicago.edu/scm/viewvc.php/?root=smlnj SML/NJ SCM Repository] | ||
[[category:ML]] | [[category:ML]] | ||
[[category:programming language]] | [[category:programming language]] | ||
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
项目
图集
链接
分享您的观点