ML 中的序列(有限和无限)
好的, 我已经有了序列的下一个定义: datatype 'a seq = Nil | Cons of 'a * (unit-> 'a seq) 我需要实现下一个函数: filterq_n:('a -> bool) -…
SML/ML 中的 RPAREN EQALOP 和未绑定变量和构造函数错误
说我有 2 个 CNF 逻辑短语 a,b,我的 distrib 函数应该返回 a|b (a OR b) 的 CNF 形式。 我得到的替换规则是: 1) Replace p|(q&r) by (p|q)&(p…
输出在 REPL 中被 # 符号截断
我编写了一个按预期工作的函数,但我不明白为什么输出是这样的。 功能: datatype prop = Atom of string | Not of prop | And of prop*prop | Or of …
处理 ML 中的异常
大家,我试图了解异常在 ML 中是如何工作的,但是我遇到了奇怪的错误,并且我无法弄清楚出了什么问题: exception Factorial fun checked_factorial n…
如何在机器学习编程语言中定义具有多种类型的树
好吧,我被要求做接下来的事情: 定义一个可以包含 2 种不同类型的二叉树:('a,'b) abtree,这些是要求: 任何内部顶点(不是叶子)都必须是以下类型'…
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 …