【文件属性】:
文件名称:polyml:多语言学习
文件大小:4.01MB
文件格式:ZIP
更新时间:2021-08-04 23:08:52
StandardML
聚/ML
Poly/ML 是一种标准 ML 实现,最初是用一种名为的实验语言编写的。 从 4.0 版开始就完全兼容。 有关完整的历史记录,请参见。
Poly/ML 对标准 ML 语言采取保守的方法并避免不兼容的扩展。 它添加了各种库扩展,特别是线程库。 Poly/ML 的积极开发和独特功能使其成为卓越的实现。
目录
特征
快速编译器
和等大型项目的首选实施方案。
- 允许在 Poly/ML 中加载静态和动态库,并将它们的函数公开为 Poly/ML 函数。 有关静态链接的示例,请参见。
视窗编程接口
线程库- 提供为标准 ML 修改的 Posix 线程的简化版本,并允许 Poly/ML 程序使用多个内核。 垃圾收集器也是并行的。
基础
可以在此处找到 Poly/ML Basis 库的文档,其中包含有关全局值和类型以及结构、签名和函子的信息。 可以在此处的 SML 系列网站上找到更深入