标准ML是一种带有类型推断的高级函数语言。
我有下面的代码，我对为什么不编译感到困惑。我知道模式匹配可以用于与不同类型的构造函数进行匹配，只要...
我正在用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。 ...
[我正在尝试编写一个以列表和整数作为参数的递归函数，其中列表是多项式，即（val P = [5.0，4.0，0.0，1.0] = x ^ 3 + 4x-5）和整数参数...
我正在尝试使用此签名创建函数：'a->'b->（'a *'b->'b）->'b我尝试执行以下函数：fun fxyz = z（ x，y）;但其签名不同，它是：...
以下方法确定从列表的开头开始最多可以加多少个数字，而最多不可以加4：number_before_Reaching_sum（4，[1,2,3,4,6]）;应该返回：val ...
我是Standard ML的新手。我正在尝试计算x的平方i，其中x是一个实数，而i是一个非负整数。该函数应带有两个参数x和i这是到目前为止我所拥有的：fun ...
[我正在SML中对此进行实验-val p =（fn（x，y）=> x + y，fn（x，y）=> x-y）val p =（fn，fn）：（int * int-> int）*（int * int-> int）但我一次只能对其进行一次评估-＃...
为什么绑定在最后一行没有详尽的警告？水果类型数据=苹果数据类型大小水果=大水果|较小的水果大x =大苹果；我认为绑定是详尽无遗的，因为...
我如何分配一个带有自由类型变量的表达式，就像我将其他函数f分配为val x = f：？
我如何为表达式分配自由类型变量，就像我将其他函数f分配为val x = f：？我很开心咖喱f x y = f（x，y）; val dummy = fn（x，y）=> {a = x，b = y}（*或...
number_in_month练习（SML错误：将列表中的整数与整数进行比较时，运算符和操作数不一致）
我是Standard ML的新手，无法弄清楚为什么会出现这种类型的不匹配错误：fun number_in_month（month：int，dates：int list）=如果为null ...
fun merge_sort（_，nil）=零| merge_sort（_，[a]）= [a] | merge_sort（f，L）=让乐趣减半nil =（nil，nil）|减半[a] =（[a]，无）|减半（a :: b ::休息）= ...
它最终不返回任何内容。另外，在运行时，它表示是：-val merge_sort = fn：（'a *'a-> bool）->'b list->'a list当我知道应该是这样的时候：-val merge_sort = fn： （'a *'a ...