如何在 SML 中打印类型信息？
在 SML 中执行命令后，将返回“it”，其中包含从命令返回的数据和类型。 例如： false; val it = false : bool 假设我在一个程序中有一个绑定，如下所…
SML 函数调用不会将参数解析为参数
我在调用 SML 函数时遇到了似乎是优先级问题，替代： fun substitute v new (typevar q) = ... 我从另一个函数调用它： fun new_type_vars (typevar v…
如何自定义 SML/NJ 交互循环？
我是标准 ML 的新手，我正在尝试了解 SML/NJ 运行时环境。 我想根据我的需要调整它。 具体来说，我想： 默认使用 IntInf 防止它截断字符串和 IntInf …
smlnj 重新表述了 listdir(文件名, 目录名) 的问题
我是一个学习 sml 的新手，我遇到的问题涉及 IO 函数，即使读完它我也不知道它是如何工作的。 这是我真正需要帮助才能开始的两个问题，请为我提供编码…
