我是OCaml语言的新手，我目前正在观察。有一个使用Int.descending的示例，但我在文档(4.07.0)中没有找到相关信息。我只看到了Int32和Int64。在哪里可以找到有关Int.descending及其其他属性的文档。
浏览 5提问于2019-01-15得票数 1
回答已采纳
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的类型错误，它提到了一个类型变量'b，该变量<em
浏览 20提问于2020-01-21得票数 5
回答已采纳
我知道在编译器的源代码中使用了这个模块。但是，使用这个模块的功能在文档中甚至没有一点解释：
File: d:\src\ocaml-4.07.0\driver\main.ml使用函数parse_arguments，我知道它可能调用/driver.ml：
File: d:\
浏览 1提问于2018-11-01得票数 0
回答已采纳
1回答
我正在尝试使用Utop中的Float模块，但是每当我尝试在Utop中打开它时，都会这样做： open Float;;
Error: Unbound module Float 我得到了这个错误 我使用的是OCaml版本4.05.0，Utop版本2.2.0 (Utop也使用4.05.0，以防万一) 怎么解决这个问题呢？
浏览 78提问于2020-01-01得票数 1
回答已采纳
我无法从ocaml编译器源代码中理解这个ocaml代码：50: type 'a ast_kind =type a=|B of intStructure : Parsetree.structure ast_kind
意思是什么?结构的类型是Parsetree.str
浏览 0提问于2018-11-06得票数 1
回答已采纳
我希望指定，如果ocaml包版本高于4.14.0，则opam包依赖于4.14.0。在我的opam文件中，我放置了以下一行： "ocaml" {>= "4.07.0"} "camlp-streams" {>= "5.0" & "oc
浏览 4提问于2022-04-13得票数 1
回答已采纳
今天，我试图运行它，我得到一个错误的the file '.我尝试将OCaml版本从4.12.0转换为4.07.0，这可能是我构建字节码时的版本。在运行字节码时，我仍然会得到相同的错误。
有人知道我怎样才能正确运行这个字节码吗？
浏览 2提问于2021-09-25得票数 1
回答已采纳
我正在使用Z3源目录中的以下(标准)命令从源代码中使用OCaml编译Z3：然后从build/目录中构建和安装。我对如何调试这些类型的错误感到困惑。对于识别问题，以及如何解决问题，有什么建议吗？
浏览 35提问于2019-07-17得票数 2
回答已采纳
2回答
我试图使用ocamlc构建代码，但是我得到了错误的Error: Unbound module Stdlib。/usr/lib/ocaml/目录包括以下stdlib.a stdlib.cma stdlib.cxma stdlib.p.a stdlib.p.cxma
OCaml版本: 4.05.0
浏览 6提问于2020-11-08得票数 1
回答已采纳
2回答
阅读caml-list上的一些旧文章，我看到了雅克·加里格斯的以下帖子：
有人能解释为什么会这样吗？为什么子类型(我在本例中假设的继承)会影响到这一点？OCaml的实现是这样吗，还是其
浏览 3提问于2012-12-09得票数 12
回答已采纳
在将OCaml 转换为F#的过程中，我发现我需要详细了解初始化过程。对于F#，这在F#规范的小节中进行了解释。虽然页面列出了几个很好的文档，但我找不到任何文档提供与F#规范中相同级别的详细信息。是否有为OCaml初始化提供相应详细级别的文档？
浏览 0提问于2012-09-18得票数 5
回答已采纳
2回答
我使用ocaml和emacs tuareg模式，作为一个新用户，我真的不太了解所有的ocaml工具...经过一些研究，我发现我需要使用ocamlfind，这是一个管理外部库的工具。我在网上没有找到关于这个工具的任何教程或<em
浏览 22提问于2015-12-19得票数 2
我是Linux和OCAML的新手。我认为让OCaml在Windows上工作是不直接的。我强调，我只是想让OCaml在Windows上工作。如果有比使用WSL ()更简单的方法，我很乐意这样做。在创建开关时：我得到以下错误：
bwrap:创建新的命名空间失败，可能是因为内核不支持用户名称
浏览 7提问于2019-03-04得票数 3
回答已采纳
1回答
let merge x = x |> I.inc |> D.dec struct end
struct 我的问题
浏览 1提问于2014-12-04得票数 3
回答已采纳
1回答
记录模式匹配
、、、、
根据这个，在F#和OCaml中，我需要使用下划线来丢弃记录的其余部分。然而，为什么handle'函数可以工作，而handle函数却不能工作呢？type Type = Type of int
{ type' : Type
let handle entities =
浏览 2提问于2017-05-14得票数 3
回答已采纳
我在找什么
将OCaml数据存储到Postgres列中。需求中的第二点很重要，因为在Postgres方面，您可能需要在该列上测试等式，并且这样的测试是在</e
浏览 3提问于2017-07-19得票数 1
当我在交互环境( OCaml或utop)中执行以下命令时，"int“类型的所有表达式最终都是"int/2”类型。这种行为可以复制如下。# 3;;type int
type a
- : int/2 = 3我发现，如
浏览 3提问于2020-02-21得票数 2
回答已采纳
1回答
(我不需要自动完成；命令编辑在utop中比在rlwrap或ledit中更好。)
utop在默认情况下显然依赖opam，因为它使用opam switch运行任何版本的ocaml。然而，我很难找到任何关于utop和opam之间关系的文档，或者是关于如何让utop运行一个尚未由opam建立的ocaml版本的文档。man utop、opam --help
浏览 5提问于2017-04-25得票数 1
回答已采纳
testing2.ml", line 2, characters 0-5:错误消息中没有进一步的详细信息。与print_endline也有相同的错误；或者即使没有打印命令。因此，错误的部分是：Str.first_chars "testing" 0
val first_chars :字符串->
浏览 3提问于2019-05-06得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
