使用 ml-lex 构建词法分析器
我需要创建一个与标准输入流绑定的 lexer 的新实例。 但是，当我输入时， val lexer = makeLexer( fn n => inputLine( stdIn ) ); 我收到一个我不明白…
输出在 REPL 中被 # 符号截断
我编写了一个按预期工作的函数，但我不明白为什么输出是这样的。 功能： datatype prop = Atom of string | Not of prop | And of prop*prop | Or of …
有类似 Haskell/ML 的 C 编译器吗？
人们已经编写了Scheme 中适用于 iPhone 的游戏。因为（一些）Scheme 编译器编译为 C，所以很容易与 Objective-C 混合并与 XCode 集成。 我知道Haskell…
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)…
输出在 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 的有向边...，并且我还收到两个顶…
