ocaml 相关问题

OCaml是一种严格的静态类型函数式编程语言,专注于表达性,正确性和效率。

Re.re和sexp.opaque:无法编译

我无法成功编译以下代码打开Base打开Sexplib.Std模块Myregexp = struct type t = |默认| {re :( Re.re [@ sexp.opaque])的正则表达式; a:int ...

回答 1 投票 1

计算矩阵的轨迹;语法错误

我的任务是编写OCAML代码来计算方形矩阵的迹线(矩阵对角线内的值)。作为奖励,为了我自己的理解,我也想写代码......

回答 1 投票 0

将/ Cast浮动列表转换为int列表

如果我有一个列表:[1.0; 2.0; 3.0; ...]是否可以将其转换或转换为整数列表:[1; 2; 3; ...]我查看了List库并且可以似乎找不到这个功能

回答 2 投票 0

在OCaml中读取整数/字符串输入的noob问题

我在Hackerank尝试了一些编码挑战,我想知道如何使用OCaml读取一行空格分隔的整数。我知道如果输入整数是换行符,那么我们可以做...

回答 1 投票 0

循环依赖和模块化设计

我一直在处理一个设计问题已经有一段时间了,其中循环依赖是基本问题,而且我有一些问题优雅地解决它。我来自C,......

回答 1 投票 1

Hashtbl.find对性能有多大影响?

当我使用Hashtbl.find测量执行时间时,程序比没有它时慢16倍。这是为什么?请注意,Node中的等效代码与或不具有相同的差异...

回答 1 投票 2

使用带有可选参数的打印机键入格式

我正面临着OCaml typer的有趣行为。 typer似乎无法接受带有可选参数的打印机。当一个函数有可选参数时,它可以作为一个函数输入...

回答 1 投票 2

如何获取此树中的叶子列表? OCaml中的问题

我们给出了一个类型为:type('nonterminal,'terminal)parse_tree = |的树'nonterminal *('nonterminal,'terminal)parse_tree list |的节点'终端叶和形式:让t =(...

回答 1 投票 0

在OCaml中旋转列表

我想编写一个函数rotate n l,它返回一个包含与l相同元素的新列表,向右旋转n次。例如,旋转0 [1; 2; 3; 4]应该返回[1; 2; 3; 4]旋转1 [...

回答 2 投票 3

具有历史支持的OCaml readline

我想要像Python的readline,但在OCaml中。我正在编写一个OCaml程序,它接受像shell或REPL那样的输入,我想添加箭头键提示的历史记录。 ...

回答 1 投票 0

代码中的错误此表达式已键入一个列表,但表达式需要类型变量a在列表中出现

我的两个任务发生此错误,我不知道如何解决它请帮助让rec ins(l1,l2)i =匹配l1与| [] - > [] | _当i> List.length(l1) - > [] |时_当i = 0 - > l2 @ l1 ...

回答 1 投票 -1

来自OCaml Graphics包的Graphics.set_font的参数是什么?

我正在尝试使用Ocaml Graphics包。我想为我的聊天服务器应用程序创建一个GUI。我的代码是:let window = Graphics.open_graph“”; Graphics.set_window_title“caml-chat”;图形....

回答 1 投票 1

Ocaml Lwt型混乱

我很困惑为什么Lwt打印函数Lwt_io.print有类型字符串 - >单位Lwt.t但是如果我运行Lwt_io.print“a”>> = fun() - > Lwt_io.print“b”;;结果是“ab”被打印出来......

回答 1 投票 0

“模式匹配并非详尽无遗”和“此匹配情况未使用”问题

我正在编写一个赋值的代码,在我的代码的一部分中,我遇到了有关OCaml中模式匹配的问题,我无法弄明白。有趣的碎片 - >匹配make_and_parser t pf frag ...

回答 1 投票 0

使用Ocaml StringMap.find_opt时遇到未绑定的值错误

我尝试编写一个小的ocaml程序,当我使用StringMap.find_opt时遇到了未绑定的值错误。我对此错误感到困惑,因为find_opt in在https://caml.inria.fr/pub /中定义...

回答 1 投票 0

相当于 Python 的 range 函数的 OCaml 成语是什么?

我想创建一个从 1 到 n 的整数列表。我可以在 Python 中使用 range(1, n+1) 来做到这一点,在 Haskell 中使用:take n (iterate (1+) 1)。 什么是正确的 OCaml 习语?

回答 14 投票 0

为什么在模式匹配的最终问题上会出现语法错误

我必须创建一个函数,列表列表并返回第一个和最后一个元素,第二个和第二个元素对的列表,依此类推。如果列表具有偶数或奇数个元素,则无关紧要...

回答 2 投票 0

哪种编程语言支持将自己作为参数的函数?

我正在做一个学术练习(个人成长)。我想找到一些编程语言,它们允许你定义能够接受自己的函数(即指向自己的指针)......

回答 7 投票 6

OCaml的新功能查找列表中元素的索引

我正在学习OCaml,我给自己的一个练习题是找到创建列表中元素的索引。到目前为止,我以为我有它,但我已经重写了这段代码块...

回答 1 投票 -5

使用泛型类型参数为多态变体写入类型约束

背景:我试图创建一些东西,如文章中的数据类型单点 - 但试图看看OCaml的多态变体是否可以导致干净的ReasonML实现。我的代码......

回答 1 投票 1

© www.soinside.com 2019 - 2024. All rights reserved.