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…
如何在机器学习编程语言中定义具有多种类型的树
好吧，我被要求做接下来的事情： 定义一个可以包含 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 val iL…
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 如何设计一…
标准 ML：返回不同类型
我需要根据传递到另一个函数的函数返回不同的值。 因此，鉴于： fun inc x = x + 1 并且： fun double([]) = [] | double(h::t) = 2 * h :: double(t)…
将标准 ML 中的列表中的元素插入树中
我刚刚开始自学 SML，并被教程中的一个问题所困扰。 假设我有： 树数据类型 datatype node of (tree*int*tree) | null 插入函数 fun insert (newItem,…
