OCaml是一种严格的静态类型函数式编程语言，专注于表达性，正确性和效率。
我正在尝试获取一个函数（作为参数给出一个集合）来返回一个集合，该集合的元素都是由主集合形成的子集。 例如：{1;2;3} -> { {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3} } ...
我正在尝试通过使用我发现的这个可爱的 Dream 库（https://aantron.github.io/dream/）构建一个网站来学习 OCaml，但在尝试时遇到了问题与温度一起工作...
我正在尝试在 OCaml 中编写以下代码： 令 a = 0 设 b = 1 如果 a > b 那么 { print_endline“a”； print_endline“a”； } 打印结束行“b” 还有...
我想打印列表中的每个整数。 我可以用 List.iter 来做到这一点，如下所示： 数字 |> 列表.iter (有趣的我 -> print_int i; print_newline ()) 然而，我通常更喜欢保持命令......
我目前正在使用 Ocaml 进行一个项目（我喜欢这种语言），我需要创建一个图形界面。我尝试过 LabelGTK，它有效，但真的很累......作为一个普通的 Glade 用户，我会......
仅使用递归（即没有任何类型的循环），给定一个元素列表，如何在 OCaml 中每次使用该元素作为参数来每次为列表中的每个元素调用一个函数？佛...
如何在 OCaml 中使用沙丘生成 Menhir .automaton 文件？
我正在尝试生成 .automaton 文件，我将其添加到 lib/ 文件夹内的沙丘文件中 （立柱 （标志--解释--转储） （模块解析器）） 然后我运行沙丘构建，如果我确实找到了。 -名称'*.autom...
有一个不相交的联合类型，如下所示： 输入 yolo = |一个 |乙| C OCaml 是否可以迭代/枚举 yolo 类型的每个可能值，而无需事先了解这些值的数量/内容...
有一个不相交的联合类型，如下所示： 输入 yolo = |一个 |乙| C OCaml 是否可以迭代/枚举 yolo 类型的每个可能值，而无需事先了解这些值的数量/内容...
我是 OCaml 新手，我编写了一些代码来获取列表的 n 元素 让rec n_elem l n =将n与 | 0 -> 将 l 与 | h::_ -> h | _ -> 失败并显示“错误，列表为空” | ...
我在理解这条特定的线路时遇到问题 让 lst = ["a", "b", "c"]; List.filter(fun(a,_b) -> not(List.mem a lst)) assoc
我想编写一个函数，可以返回列表中的每个其他元素，如下所示 ['a' ; 'b'; 'C' ; 'd'； 'e'] 可以返回： ['a' ; 'C' ; 'e'] 我的函数只能与预定义函数 L...
我编写了简单的 OCaml 代码，例如： 让 rec fib(n: int) = 匹配 n 与 | 0 -> 0 | 1 -> 1 | _ -> fib(n-1) + fib(n-2) 使用 ocamlopt 的 -dcmm 选项，我可以生成以下 .cmm 文件...
我最近一直在学习编译器，更具体地说是 Ocaml 编译器，我想知道编译器如何实际确定字符串匹配哪个正则表达式。它是否为每个re构建一个DFA...
我正在尝试创建一个函数来交错一对三元组，例如 ((6, 3, 2), ( 4, 5 ,1)) 并从该交错中创建一个 6 元组。 我做了一些研究，但可以理解如何
让 lst 成为一个包含元组的列表，我想反转每个元组（元组的顺序需要相同）。例如： [(a,b);(c,d)] -> [(b,a);(d,c)] 我知道可以用地图来完成： 列表...
如何从一个列表创建元组列表，如下所示： [1； 2； 4； 6] -> [(1, 2); (4, 6)] 我想使用函数 List.fold_left 来做到这一点，因为我目前正在尝试学习它，但不知道 h...
我正在尝试编写一个模块，将 x:int = if true then 3 else 5 之类的内容转换为字符串 这是我到目前为止的代码 模块 Ast = 结构体 类型典型=布尔| INT 类型 var = A |乙| C | ...
我正在寻找一种算法，它返回两个给定的 N^4 列表/集合的交集（长度）（更准确地说在 [|0;7|]^4 中）。我不希望得到特定编程语言的答案...
我有以下功能 让更新 s = 对于 i=0 到 ((Array.length s) - 2) 执行 对于 j=0 到 (Array.length (s.(i))) - 2 做 (s.(i)).(j) <- (s.(i).(j)) + 1; done; done and it...