OCaml是一种严格的静态类型函数式编程语言，专注于表达性，正确性和效率。
这里是新手！ 我正在尝试构建一个程序，该程序返回特定索引上具有最高数字的列表。我已经尝试了很多事情，这看起来是我能想到的最简单的代码。 上...
OCaml - 返回输入变量上特定索引上具有最高编号的列表 - 列表列表
这里是新手！ 我正在尝试构建一个程序，该程序返回特定索引上具有最高数字的列表。我已经尝试了很多事情，这看起来是我能想到的最简单的代码。 上...
我是 ocaml 的新手。我正在尝试实现 doMove ：int list -> int list -> move -> int list。 第一个参数是 jar 的卷列表， 第二个 — 描述......的列表
我试图从给定的数组中创建一个列表，在我的代码中它返回一个空列表。 我想知道为什么列表不可能做到这一点。是因为我们应该在...
OCaml 允许在签名中将类型标记为私有。这是有道理的。声明为 private 类型的对象只能在模块内部创建并在外部读取。 模块 X : sig 输入 t =
Ocaml 为类型提供了三种封装： 抽象 - 当我们无法对模块外部的抽象类型对象执行任何操作时（无法读取、创建、更新） 公开 - 当我们可以做的时候
这是我的代码以及它应该是什么 前缀：'列表 -> '列表列表 prefixes l 返回输入列表 l 的所有非空前缀的列表，按从最短到最长的顺序排列。没有非...
解析器.mly %{ 让 env=Hashtbl.create 10 %} %代币 INT %代币SUB %代币停产 %令牌等于 %代币名称 %左SUB %右等于 %start main /* 入口点 */ %类型主要 %% 主要的： ...
解析器.mly： %{ 让 env=Hashtbl.create 10 %} %代币 INT %代币SUB %代币停产 %令牌等于 %代币名称 %左子等于 %start main /* 入口点 */ %类型米...
所以我有一个功能： let rec add_rules 启动规则 prod = 匹配规则与 | [] -> 产品 |非术语::lst -> 如果 fst 非项 = 开始 那么 add_rules开始（List.remove_assoc...
我想要像 string(2^n) 这样的代码。 前任。 让 string2 s = 将 s 与 “”->“” | _ -> s^s;; 但， 让rec string128 s = 将 s 与 “”->“” | _ ->
我有文件“example.dat”，其中包含文本“[(1,2); (3,4); (5,6)]”。我需要从中获取元组列表。我知道，如何从整数列表中获取它。 # let f line = List.map int_of_string line;; # 打开
有人知道如何检测 OCaml 中无向图中是否存在循环吗？ 这是我用于图表的类型： 输入 '图表 = { 节点：'列表； 边 : ('a * 'a * int) 列表 } ...
我正在寻找适用于 ocaml 的代码格式化程序或漂亮的打印机。类似 gofmt 的 go 编程语言。它最好应该保留评论。 我正在纠正提交的内容和一些内容...
这不是有效的语法，但是是否可以执行类似的操作来获取新的更新的匿名记录，类似于与普通记录一起使用？ 输入 user = User {id: int, ... 更多字段...
如何将 -ml 标志（或任何标志，实际上）添加到沙丘文件中的 ocamllex？
这是我当前的沙丘文件： （图书馆 （名称解析） （托托 fmt menhirLib 图书馆） （模块解析器词法分析器 lex_and_parse） ） （ocamllex 词法分析器） （立柱 （模块解析器） （标志--解释-v）） 我知道...
这个函数应该接受两个参数：一个列表和一个整数。如果列表中的一个元素和数字“a”奇偶校验相等，则必须将它们相加，否则应将两个数字相减。
这个函数应该接受两个参数：一个列表和一个整数。如果列表中的一个元素和数字“a”奇偶校验相等，则必须将它们相加，否则应将两个数字相减。
我正在尝试重写这段代码，但是没有“match”，只接受List.hd、List.tl和List.length。 有人可以启发我吗？ 让 rec listes_paires l = 将 l 与 ...