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 函数，即使读完它我也不知道它是如何工作的。 这是我真正需要帮助才能开始的两个问题，请为我提供编码…
