标准 ML/CML 错误运算符 - 操作数错误
我正在尝试使用标准 ML 的 CML 扩展来实现并发列表，但我遇到了错误，这可能与我是标准 ML 的新手有关。我已将 clist 实现为具有输入和输出通道，并将…
使用 ml-lex 构建词法分析器
我需要创建一个与标准输入流绑定的 lexer 的新实例。 但是，当我输入时， val lexer = makeLexer( fn n => inputLine( stdIn ) ); 我收到一个我不明白…
ML 中的序列（有限和无限）
好的， 我已经有了序列的下一个定义： datatype 'a seq = Nil | Cons of 'a * (unit-> 'a seq); 我需要实现下一个函数： filterq_n:('a -> bool) -> i…
SML/ML 中的 RPAREN EQALOP 和未绑定变量和构造函数错误
说我有 2 个 CNF 逻辑短语 a,b，我的 distrib 函数应该返回 a|b (a OR b) 的 CNF 形式。 我得到的替换规则是： 1) Replace p|(q&r) by (p|q)&(p|r) 2)…
如何在机器学习编程语言中定义具有多种类型的树
好吧，我被要求做接下来的事情： 定义一个可以包含 2 种不同类型的二叉树：('a,'b) abtree，这些是要求： 任何内部顶点（不是叶子）都必须是以下类型'…
OCaml 中嵌套签名的示例？
在 OCaml 中，您可以嵌套签名： module type FOO = sig module type BAR (* … *) end 我只是想知道是否有人有任何使用中的示例，因为我想不出任何需…
SML/ML Int 到 String 的转换
我有这样的代码： datatype 'a Tree = Empty | LEAF of 'a | NODE of ('a Tree) list; val iL1a = LEAF 1; val iL1b = LEAF 2; val iL1c = LEAF 3; va…
ML 表达式，逐行帮助
val y=2; fun f(x) = x*y; fun g(h) = let val y=5 in 3+h(y) end; let val y=3 in g(f) end; 我正在寻找逐行解释。我是机器学习新手，正在尝试破译一…
如何使用递归数据类型在 ML 中创建函数
给定数据类型： datatype bunch = One of int | Group of bunch list; datatype 'ex bunch = NIL | One of 'ex | Group of 'ex * 'ex bunch; 如何设计…
