ocaml 相关问题

二叉树操作搜索匹配的递归调用

我遇到了在二叉树中搜索值并返回该驻留值的节点的问题的解决方案。因此预计时间复杂度为 O(n)。 这是我的解决方案...

opam switch install in foreign chroot picks version for host architecture, not guest architecture

我正在尝试在一堆系统上设置 OCaml，每个系统都有不同的处理器架构。操作系统是 Debian 克星。 编辑：amd64 以外的架构是 amd6 上的外国 chroot 环境...

OCaml 两种二叉搜索树函数比较

我在 OCaml 中实现了这两个二叉搜索树搜索功能。我的问题是这些函数中的哪一个是良好的 OCaml 实践并且更有效，或者它们是等价的？ 鉴于 输入...

参考资料对比

当我尝试比较两个 refs 时，他们的行为让我感到困惑，根据我在使用“r1 = r2”时的理解，我正在比较两个 refs 的内容，如果我做“r1 == r2”我比较.. .

Ocaml 函数使用 List 和 couples

我有一项任务要完成，但我遇到了麻烦。这是在 ocaml 中，列表是主要焦点。 第一个函数接受一对夫妇 [(a1,b1);(a2,b2)...] 的列表并验证 ev...

我的函数返回错误“错误：未绑定值”

我需要返回一个列表的副本，其中奇数长度列表已加倍（并且仅使用这些预定义函数 List.hd、List.tl 或 List.length） 奇数列表 [[]; [1];[1;2];[1;2;3];[];[5;4;3;2;1...

ocaml 未绑定模块图形

我是 ocaml 的新手，我一直收到这个错误，但不明白为什么。 这是我的 ocaml 代码： #加载“图形”；； 打开图形；； open_graph "";; 让 etoile x y c = 移动到 (x-...

OCaml 中的便携式 PRNG

在 OCaml 4.14.1 中我得到这个： # 随机初始化 2;; - ：单位=（） # 随机.int 100 ;; - ：整数= 69 但是在 OCaml 5.0.0 中我得到了这个： # 随机初始化 2;; - ：单位=（） # 随机.int 100 ;; - ：整数= 89 这是

OCaml，尝试重写一段没有“匹配”的代码

我正在尝试重写这段代码，但是没有“匹配”，只能使用List.hd、List.tl和List.length。 有人可以启发我吗？ 让 rec listes_paires l = 将 l 与 ...

OCaml 中的忽略函数

在名为 developing applications with objective caml 的书的第 95 页 让 imap f l = 让 l_res = icreate() in while not (iempty l) 做 忽略（图标（f（ihd l））l_res）； 忽略...

迭代 OCaml 中的拆分字符串

假设我有一个字符串： “ab bc cdv gf ed aqb ahf sd abcdef 我想要 a) 将其拆分为 ' ' 和/或 ' ', ' ' b) 遍历新创建的这些子串列表，用分隔符和

OCaml中分号和`let _ = ... in`的区别

On this site 它说分号在语义上与 let _ = ... in 相同，但是在以下代码中并非如此。此代码打印 None 和 End： 让 m = 无 让（）= 让 () = matc...

当约束说类型应该匹配时模块签名不匹配

考虑以下代码： 模块 A = 结构 模块类型 ZType = sig 类型 z 结尾 结尾 模块 B = 结构 模块 M (InputZ : A.ZType) = struct 模块 OutputZ = InputZ 结尾 结尾 模块 C =

在ocaml中，有时我们在“let”后面需要两个分号，但有时我们不需要它们

下面两个let定义换行连接，这样就可以了 # 让 x = 1 + 2 * 3 让 y = (1 + 2) * 3;; 值 x : int = 7 值 y : int = 9 但以下失败。 让 x = 3

分号警告

我在下面运行一个hello world程序 让x=3； print_string "你好世界！";; 并收到此警告： 文件“hello.ml”，第 1 行，字符 6-7： 1 |让x=3； ^ 警告 10 [没有...

是“让x = 3;;”一个表情？

人们说 ocaml 中的一切都是表达式并且有类型。但是我怎么能理解这样的陈述 让 x = 3; 和 让 y = x * x； 这些看起来不像表情，对吧？

为什么“2;3;;”提出警告，我应该提供单位声明？

我发现很难掌握 OCaml 中分号的用法。最初，我认为它是一系列表达式的分隔符。然而，尽管只是尝试，我还是收到了警告......

是“让x = 3;;”在 Ocaml 中是一个表达式？

人们说 ocaml 中的一切都是表达式并且有类型。但是我怎么能理解这样的陈述 让 x = 3; 和 让 y = x * x； 这些看起来不像表情，对吧？

一些公式和函数

所以，我必须编写一个递归函数来计算任何给定数字中“1”的数量。对于这一部分，我设法创建了将小数转换为 bin 的函数...

OCaml 函子 Set.Make/Map.Make weird annotation in VSCode

世界上为什么会有“1/”。在“Ord: Set”和“OrderedType ->”之间？ 这显示在 VSCode 环境中用于 Set.Make 和 Map.Make，也可能用于其他