标准 ML/CML 错误运算符 - 操作数错误
我正在尝试使用标准 ML 的 CML 扩展来实现并发列表，但我遇到了错误，这可能与我是标准 ML 的新手有关。我已将 clist 实现为具有输入和输出通道，并将…
SML-NJ，如何编译独立可执行文件
我开始学习Standard ML，现在我尝试使用新泽西编译器的Standard ML。 现在我可以使用交互式循环，但是如何将源文件编译为独立的可执行文件？ 例如，在…
增加 SML/NJ 中的打印深度
我正在尝试让 SML/NJ 在顶层打印出结果，而无需 到处都放#号。 根据一些旧文档（以及 2001 年发布到该新闻组的帖子）， 应该可以使用 Compiler.Contro…
输出在 REPL 中被 # 符号截断
我编写了一个按预期工作的函数，但我不明白为什么输出是这样的。 功能： datatype prop = Atom of string | Not of prop | And of prop*prop | Or of …
ML 中的序列（有限和无限）
好的， 我已经有了序列的下一个定义： datatype 'a seq = Nil | Cons of 'a * (unit-> 'a seq); 我需要实现下一个函数： filterq_n:('a -> bool) -> i…
输出在 REPL 中被 # 符号截断
我编写了一个按预期工作的函数，但我不明白为什么输出是这样的。 功能： datatype prop = Atom of string | Not of prop | And of prop*prop | Or of …
处理 ML 中的异常
大家，我试图了解异常在 ML 中是如何工作的，但是我遇到了奇怪的错误，并且我无法弄清楚出了什么问题： exception Factorial fun checked_factorial n…
SML 列表相等奇怪
我有这样一段代码： fun foldr2(f, x::xs) = if xs = [] then x else f(x, foldr2(f, xs)) 使用类型签名 (''a * ''a -> ''a) * ''a list -> ''a 看起…
警告：调用 polyEqual
有人可以解释一下，这个警告是什么意思吗？ stdIn:18.35 Warning: calling polyEqual 为什么我在下面的语句中使用“a”而不是“a”： val alreadyVisi…
新泽西州 SML 中的图表
我需要使用机器学习编写一些函数，该函数接收有向图的边列表[(1,2),(1,3),(3,2)] ，这意味着从 1 到 2 和从 1 到 3 的有向边...，并且我还收到两个顶…
NJ 的 ML 中的嵌套本地声明
大家好，我有这段代码： local helper(f, i, j) = local fun NTimesF(f, n:int) = if n = 1 then fn (x) => f(x) else fn (x) => f(NTimesF(f, n - 1)…
