如何进行此 ml 程序
我有这样的代码： datatype 'a tree = Leaf of 'a | Node of 'a * 'a tree * 'a tree | Nil val rec tree_sum = fn(f,e,Nil) => e | (f,e,Leaf(n)) …
使用 XSLT 生成 Microsoft Word ML 时的输出问题
当我执行代码时，要复制节点及其属性，而不是复制所有节点属性， 例如 Microsoft Word ML 中的输入：- <w:tblPr><w:tblW w:w="0" w:type="auto"…
将 ML 风格的模块添加到 Haskell 的主要理论困难是什么？
众所周知，Haskell 风格的类型类和 ML 风格的模块提供了不同的机制来指定接口。它们的权力（可能）相当，但实际上每个都有自己的优点和缺点。 由于我…
一个非常基本的 SML 问题，我似乎无法弄清楚（小代码）
只是一个基本的卡萨密码。我已经测试了所有的子函数，只是 encryptChar() 不是特别有效。我得到一个无限循环。它应该是递归的。这是所有代码： fun re…
在 OCaml 中更改相同类型
假设我有一个函数 list_fun : int_list ->字符串列表，在该函数中，我使用定义为模块StringSet = Set.Make(String)的StringSet。我尝试让函数返回 S…
关于无限类型的类型错误
我正在尝试纠正一个简单的函数来使用选择排序对列表进行排序，我的代码如下： fun slctsrt [] = [] | slctsrt (x::xs) = slctsrt2 (xs, x, []) fun sl…
F# 中的类型或具有父 Number 的类型层次结构中是否有 AND？
我想定义一个整数和浮点数的列表，其中 [1,2.0] 应该是一个有效的结构。 F# 中的类型或类型层次结构中是否有 AND（例如从 Number 派生的 int 和 float…
标准 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) -…
SML/ML 中的 RPAREN EQALOP 和未绑定变量和构造函数错误
说我有 2 个 CNF 逻辑短语 a,b，我的 distrib 函数应该返回 a|b (a OR b) 的 CNF 形式。 我得到的替换规则是： 1) Replace p|(q&r) by (p|q)&(p…
