ocaml 相关问题

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


为什么这个代码不起作用递归函数会出错

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

回答 1 投票 -1

如何为Ocaml项目生成正确的makefile

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

回答 1 投票 1

构造+视图模式实例的实现

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

回答 1 投票 0

如果在Ocaml中有很多条件

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

回答 1 投票 -3

复制文件的简单方法

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

回答 1 投票 3

Ocaml模式匹配:为什么不使用此匹配?

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

回答 2 投票 -1

查看String Map中是否存在键

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

回答 1 投票 3

ocaml如何用具体类型测试模块

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

回答 1 投票 0

为什么if语句上有Ocaml语法错误?

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

回答 1 投票 0

在Vim中使用merlin在ocaml中开发coq插件

我安装了带有opam的Coq,并希望制作一个Coq插件。我设法使用coq_makefile编译了一些插件示例,但是如果我可以在vim中使用merlin来获取类型信息和...

回答 3 投票 5
推荐问题