ocaml 相关问题

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

正如你们许多人已经知道的那样，Ocaml的错误消息非常糟糕，我被困住了。我试图搜索问题，但错误信息太模糊，无法搜索。以下代码应该......

ocaml

回答 1 投票 0

给定以下接口：模块类型Comparable = sig type t val compare：t - > t - > int end和实现：open Comparable模块Point：Comparable = struct type ...

inheritance module ocaml

回答 1 投票 0

我目前正在使用Map仿函数来创建字符串映射：module StringMap = Map.Make（String）。然后我尝试将一组字符串映射插入到一个'StringMap中的对象列表中。 ...

dictionary ocaml

回答 1 投票 3

我刚刚设计了一个无用的函数：让rec f = fun x y-> let tmp = f（x-1）y in（匹配tmp与| y-> y | m-> m）;;为什么m-> m未使用匹配？为什么y-> y这里实际上是一个通配符......

pattern-matching ocaml

回答 2 投票 -1

是否有一种使用标准OCaml库或广泛使用的轻量级库（最好是在opam上主动维护的库）来复制文件的简单方法？在模块Sys中，有功能......

ocaml

回答 1 投票 3

我是oCaml的初学者，我对这个跟随函数有一个错误：让rec determinant n m1 =如果n <= 2那么detMat2 m1 else让mat = Array.make_matrix（n-1）（n-1）.. 。

ocaml

回答 1 投票 -3

正在通过作者通过一个名为Constructor + View的设计模式的示例进行工作，该模型通过类型进行了解释，但是在确定实现方面遇到了麻烦。这是模块......

design-patterns ocaml typeerror record reason

回答 1 投票 0

我正在学习编译器的工作方式。我阅读了一个关于如何使用Ocamllex和Ocamlyacc从源代码中读取输入，生成标记并生成合成树以便计算的教程...

makefile compiler-construction ocaml ocamllex ocamlyacc

回答 1 投票 1

我应该检查两个列表是否是字谜我认为我为该任务制作了正确的代码但这需要帮助让rec ana l1 l2 =如果l1 = [] && l2 = []那么如果List.hd l1 =则为true。 ..

ocaml

回答 1 投票 -1