ml

    -5热度

    1回答

    我的练习给了我这个作为原始编码。 然后,他们希望我们做一个java实现它。 我以为我现在无法理解它。 这里有一个地方使用了一个变量“n”,它以某种方式将它全部加起来。 这是我真正的问题,除非有更多的可以调试。 我只是想在下周最后一次学习这些东西。 fun f x y = let val a = x+1 fun g 0 = 0 | g n =

    2热度

    1回答

    我写了一个函数来处理异常,如果我们得到了R2 = 0,I2 = 0,但是当我运行程序我得到这个错误: operatii.ml:12: error: Type error in function application. Function: = : ''a * ''a -> bool Argument: (r2, 0.0) : real * real Reason: C

    0热度

    1回答

    我有一个interpreter.ml文件,其中包含一个解释器和一些type定义。 我已经开发了一些试验用的电池,以检查是否解释工作得好不好。 当我把用于测试解释器的行为的函数放在同一个解释器文件中时,所有的工作都很好,但是如果我尝试使用不同的文件进行测试(比如tests.ml),它没有加载解释者的功能和定义。 的interpreter.ml和tests.ml是在同一文件夹 我open Interp

    0热度

    1回答

    有人可以解释一下:“g的描述”吗? f1如何取得单位并返回一个int &其余的我也很困惑! (* Description of g: * g takes f1: unit -> int, f2: string -> int and p: pattern, and returns * an int. f1 and f2 are used to specify what number to be

    0热度

    1回答

    type 'k leaf = {a_bb : 'k -> string;} 我无法理解ocaml中这行代码的含义。谁能帮忙?

    0热度

    2回答

    我需要编写一个函数,它需要一个列表并将其分成2个列表。第一个列表将保存位于奇数位置的元素,第二个列表保存位于偶数位置的元素。这里是我的尝试,给了我以下警告: 警告:类型乏不是一概而论,因为 值的限制被实例化虚拟类型(X1,X2,...) 如何提高呢? fun splt (lst: int list) = let fun splt2 (lst: int list, count:

    0热度

    1回答

    我想写一个函数接受自定义类myType的值,并返回myType option。不确定我的问题是否与签名,内容或返回值有关。 例如,我试着写以下(它的简化,并没有实际意义): let rec myFunc (t:myType) myType option = let t2 = myFunc t in match t2 with | None -> None |

    3热度

    1回答

    我想跟进纸“轻型-kinded较高多态性”(https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf) 和我被困在改造这个ML代码到F# type (_,_) arrow = Fn_plus : ((int ∗ int), int) arrow | Fn_plus_cons : i

    3热度

    1回答

    我想理解这两者之间的区别; val my_fun = length o List.filter (fn (item) => item = #"a") o String.explode 这一个可以调用(my_fun“名称”将返回1),并正常工作。我想了解的功能组成的,为什么下面不工作 length o (List.filter (fn (item) => item = #"a") (String

    0热度

    1回答

    带有不可见和可见组件的ML模块删除矩阵的第一列和最后一列。 矩阵存储为列表清单,如下所示: | 4 | 5 | 6 | 7 | | 8 | 9 | 10 | 11 | | 12 | 13 | 14 | 15 | =>是4×4阵列 上面的矩阵将被存储为 val mat = [[4,5,6,7],[8,9,10,11],[12,13,14,15] ]。 我需要使用地图功能。 样品试验: VAL垫= [