标准ML是一种带有类型推断的高级函数语言。
我正在尝试将以下代码从SML转换为haskell，但遇到了一些麻烦。类型List_alg x u =（u，x-> u-> u）list_cata :: :: List_alg x u-> [x]-> u list_cata ...
在Ullman的SML书中，最不寻常的是:::（list cons）和@（list concatenation）运算符是右关联的，这意味着它们像大多数情况一样从右向左分组，]
在Ullman的SML书中：匹配表达式由一个或多个规则组成，这些规则是成对的形式 => 规则由竖线分隔，因此...
我想从文件中读取N对，并将它们作为元组存储在列表中。例如，如果我具有以下3对：1-2，7-3，2-9我希望我的列表看起来像这样- > [[（1,2），（7,3），（2-9）]我尝试过一些事情...
[我想在SML中创建一个对无向图进行BFS遍历的函数e.x Graph = [| [2]，[3,4]，[1,2]，[2] |]。 fun bfs（g：图）（n：顶点）：顶点列表=让乐趣助手（todo：...
我基本上想创建一个数组（Array.array（k + 1，1）），但是由于k是Int64类型的（必须是），所以我无法创建该数组（给出错误），所以我试图找到一种方法来绕过该错误。 ...
所以给了我以下问题，我正在经历一个难以置信的艰难时期，想方设法开始……有人可以帮助我吗？到目前为止，我的参考文献是：https：//www.cl.cam.ac.uk/~lp15/MLbook/pub -...
所以给了我以下问题，我正在经历一个难以置信的艰难时期，想方设法开始……有人可以帮助我吗？到目前为止，我的参考文献是：https：//www.cl.cam.ac.uk/~lp15/MLbook/pub -...
在C中，每个变量都表示一个引用，我们可以通过运算符＆从变量中获取引用。例如如果int x = 1，则＆x是变量x表示的参考。每个变量都是...
在Ullman的SML书中：我们可以从旧类型T1和T2构建新类型，如下所示。 T1 * T2是“产品”类型，其值为对。该对的第一个成分是T1类型，并且...
我有下面的代码，我对为什么不编译感到困惑。我知道模式匹配可以用于与不同类型的构造函数进行匹配，只要...
我正在用SML编写一个程序，该程序将整数N作为参数，但是对于高于537070910的输入，它给了我这个错误：未捕获的异常Overflow [overflow]。任何想法为什么？
我有此数据类型，数据类型json =实数|字串|错误|是的空| json列表数组| （字符串* json）列表的对象，此代码很有趣...
有趣的主持人（clist，mlist，score）= let val hlist = []在有趣的附录中（[]，_，score）= hlist |附录（_，[]，分数）= hlist |附录（c :: clist'，...
如果我有此SML数据类型数据类型json =实数|字串|错误|是的空| json列表数组| （string * json）...
This-fun dist（x：real，y：real）：real * real =（Math.sqrt（x * x + y * y），Math.abs（x-y））;产生错误错误：未绑定的变量或构造函数：路径Math.abs中的abs因此，即使使用自制版本也是如此...
虽然在研究SML中的类型时，我发现了这个有趣的monthI2S 1 =“ January” | monthI2S 2 =“二月” | monthI2S 3 =“三月” | monthI2S 4 =“四月” | monthI2S 5 =“五月” | monthI2S 6 =“六月” | ...
我是SML的新手，正在尝试把我的头放在函数式编程上。我想要一个接受树t和字符c的函数，如果树包含字符，则返回true或false。 ...