OCaml是一种严格的静态类型函数式编程语言,专注于表达性,正确性和效率。
我无法成功编译以下代码打开Base打开Sexplib.Std模块Myregexp = struct type t = |默认| {re :( Re.re [@ sexp.opaque])的正则表达式; a:int ...
我的任务是编写OCAML代码来计算方形矩阵的迹线(矩阵对角线内的值)。作为奖励,为了我自己的理解,我也想写代码......
如果我有一个列表:[1.0; 2.0; 3.0; ...]是否可以将其转换或转换为整数列表:[1; 2; 3; ...]我查看了List库并且可以似乎找不到这个功能
我在Hackerank尝试了一些编码挑战,我想知道如何使用OCaml读取一行空格分隔的整数。我知道如果输入整数是换行符,那么我们可以做...
我一直在处理一个设计问题已经有一段时间了,其中循环依赖是基本问题,而且我有一些问题优雅地解决它。我来自C,......
当我使用Hashtbl.find测量执行时间时,程序比没有它时慢16倍。这是为什么?请注意,Node中的等效代码与或不具有相同的差异...
我正面临着OCaml typer的有趣行为。 typer似乎无法接受带有可选参数的打印机。当一个函数有可选参数时,它可以作为一个函数输入...
我们给出了一个类型为:type('nonterminal,'terminal)parse_tree = |的树'nonterminal *('nonterminal,'terminal)parse_tree list |的节点'终端叶和形式:让t =(...
我想编写一个函数rotate n l,它返回一个包含与l相同元素的新列表,向右旋转n次。例如,旋转0 [1; 2; 3; 4]应该返回[1; 2; 3; 4]旋转1 [...
我想要像Python的readline,但在OCaml中。我正在编写一个OCaml程序,它接受像shell或REPL那样的输入,我想添加箭头键提示的历史记录。 ...
代码中的错误此表达式已键入一个列表,但表达式需要类型变量a在列表中出现
我的两个任务发生此错误,我不知道如何解决它请帮助让rec ins(l1,l2)i =匹配l1与| [] - > [] | _当i> List.length(l1) - > [] |时_当i = 0 - > l2 @ l1 ...
来自OCaml Graphics包的Graphics.set_font的参数是什么?
我正在尝试使用Ocaml Graphics包。我想为我的聊天服务器应用程序创建一个GUI。我的代码是:let window = Graphics.open_graph“”; Graphics.set_window_title“caml-chat”;图形....
我很困惑为什么Lwt打印函数Lwt_io.print有类型字符串 - >单位Lwt.t但是如果我运行Lwt_io.print“a”>> = fun() - > Lwt_io.print“b”;;结果是“ab”被打印出来......
我正在编写一个赋值的代码,在我的代码的一部分中,我遇到了有关OCaml中模式匹配的问题,我无法弄明白。有趣的碎片 - >匹配make_and_parser t pf frag ...
使用Ocaml StringMap.find_opt时遇到未绑定的值错误
我尝试编写一个小的ocaml程序,当我使用StringMap.find_opt时遇到了未绑定的值错误。我对此错误感到困惑,因为find_opt in在https://caml.inria.fr/pub /中定义...
相当于 Python 的 range 函数的 OCaml 成语是什么?
我想创建一个从 1 到 n 的整数列表。我可以在 Python 中使用 range(1, n+1) 来做到这一点,在 Haskell 中使用:take n (iterate (1+) 1)。 什么是正确的 OCaml 习语?
我必须创建一个函数,列表列表并返回第一个和最后一个元素,第二个和第二个元素对的列表,依此类推。如果列表具有偶数或奇数个元素,则无关紧要...
我正在做一个学术练习(个人成长)。我想找到一些编程语言,它们允许你定义能够接受自己的函数(即指向自己的指针)......
我正在学习OCaml,我给自己的一个练习题是找到创建列表中元素的索引。到目前为止,我以为我有它,但我已经重写了这段代码块...
背景:我试图创建一些东西,如文章中的数据类型单点 - 但试图看看OCaml的多态变体是否可以导致干净的ReasonML实现。我的代码......