BasisLibrary:存储库和Wiki,用于丰富标准ML基础库

时间:2024-06-17 13:32:01
【文件属性】:

文件名称:BasisLibrary:存储库和Wiki,用于丰富标准ML基础库

文件大小:89KB

文件格式:ZIP

更新时间:2024-06-17 13:32:01

StandardML

标准ML基础库 该存储库和相关的提供了一个平台,用于管理对规范的更改。 范围 SML基础库的设计目的是要限制其范围。 具体来说,它包含满足以下属性之一的功能: 需要特殊编译器支持的功能,例如字符串和数组。 需要与主机操作系统接口的功能,例如套接字和文件系统访问。 比其他功能的等效组合更简洁或更有效的功能。 具有明确用途或久经考验的功能,或者是SML Basis先前版本(例如,SML'90 Basis)的一部分的功能。 这些属性旨在用作基础库中内容的指南,而不是实用程序或特定于应用程序的库中的内容。 约定 新的基础库模块的建议应遵循原始规范的发布版本中使用的编码约定。 这些约定是 字母数字值标识符采用大小写混合的形式,并带有一个小写的前导字母; 例如map和openIn 。 类型标识符都是小写的,单词之间用下划线分隔; 例如word和file_desc 。 签名标识符全部用大写


【文件预览】:
BasisLibrary-master
----.gitignore(129B)
----README.md(3KB)
----Code()
--------example()
--------testing()
--------2016()
--------2018()
--------2020()
--------2015()

网友评论