此存储库和关联的维基为管理对标准ML基础库规范。

SML基础库旨在限制其范围。具体来说，它包括满足以下特性之一的功能：

• 需要特殊编译器支持的功能，如字符串和数组。
• 需要与主机操作系统接口的功能，如套接字和文件系统访问。
• 比其他功能的等效组合更简洁或高效的功能。
• 具有明确或经验证实用性的功能，或是SML Basis早期版本的一部分(例如SML’90基础）。

这些属性用于指导基本库中的内容，而不是实用程序或特定于应用程序的库。

新基础库模块的建议应遵循原始规范发布版本中使用的编码约定。这些约定是

• 字母数字值标识符采用混合case格式，前面有一个小写字母；例如,地图和打开In.
• 类型标识符均为小写，单词由下划线分隔；例如,单词和文件_desc.
• 签名标识符全部大写，单词之间用下划线隔开；例如,包装_订单和OS_PATH（操作系统_路径）。我们将本公约称为签名惯例。
• 结构和函子标识符采用混合形式，单词的首字母大写；例如,概述和宽字元。我们将本公约称为结构惯例。
• 字母数字数据类型构造函数遵循签名约定；例如,一些,A_READ（读取）、和FOLLOW_ALL（全部）在某些情况下，如果外部使用或美学另有规定，则可以使用结构惯例。在Basis库中，后一种约定的唯一使用是日期,例如,简和周一.这个规则的一个例外是传统的构造函数无,真的、和假.
• 异常标识符遵循结构约定；例如,域和系统错误.

我们需要制定一个处理提案的流程。问题包括

• 提案应该包含什么
• 提案应该如何提交（有编辑吗？）
• 如何解决讨论并批准提案

一种可能的模型是SRFI公司过程。