新泽西州标准ML规定SML’97基础库,和SML/NJ库图书馆馆藏。此外,还有其他几个可用的系统提供访问的结构功能的系统信息。
一些功能,如弱指针(弱),一流的延续(Cont(续))、和悬浮液(Susp公司)由SMLofNJ公司结构。
弱
Cont(续)
Susp公司
这个SMLofNJ公司结构包括以下内容下部结构:
新泽西州SML。内部构件:一些编译器内部
新泽西州SML。内部构件
新泽西州SML。弱:弱指针
新泽西州SML。弱
新泽西州SML。悬念:惰性悬架
新泽西州SML。悬念
新泽西州SML。Cont(续):一流的延续
新泽西州SML。Cont(续)
新泽西州SML。间隔计时器:间隔计时器
新泽西州SML。间隔计时器
新泽西州SML。系统信息:系统信息
新泽西州SML。系统信息
一些有用的系统结构包括:
不安全的:不安全的操作(例如未检查的数组访问)
不安全的
信号:一般操作系统信号值
信号
Unix信号:unix特定信号值
Unix信号
不安全的。C接口:运行时系统函数的接口
不安全的。C接口
SML/NJ还提供了对编译器某些内部类型和功能的访问自身。通过绑定一些内部结构(例如控制、PP),可以访问这些在顶级环境中\[需要进一步的文档!]
SML/NJ主页(www.smlnj.org/)
SML/NJ用户指南主页
标准ML主页
SML/NJ GitHub项目主页