查看以下代码： type z = Z of z
type _ t = Z : z t | S : 'n t -> 'n s t 最后一行包含一个通用变体，但它使用冒号符号:而不是关键字of。我该怎么读这种类型的东西呢？看看类型声明的OCaml语法：https://ocaml.org/manual/types.html，如果这真的是一个
浏览 21提问于2021-10-22得票数 3
回答已采纳
2回答
变体还是多态变体？
、、、、
我注意到，在我认识的OCaml程序员中，有些人总是使用多态变体(没有声明的变体，以背引号作为前缀)，而另一些程序员则从不使用多态变体，而更喜欢在类型中声明的变体。除了性能原因(多态变体目前编译效率低于简单变体)外，专家OCaml开发人员如何在它们之间进行选择？
浏览 3提问于2012-02-20得票数 42
回答已采纳
我正在尝试建模，用ocaml类型编写elasticsearch。通常，有些东西是由变体很好地建模的，其中标记是对象中的单例键。例如，在上，我们可能有一个匹配、一个前缀、一个通配符等等。match params}}{"prefix": {...prefix params}}
手工写出yojson_of_x函数似乎是大量的样板，所以我想导出它们，
浏览 11提问于2022-01-30得票数 2
回答已采纳
1回答
有没有办法在OCaml中实现C风格的转发声明？我的问题是我有两个相互引用的变体： [ `Next of state_formula | `Prob` of (boundf * path_formula) ]
所以这两种类型必
浏览 1提问于2010-06-12得票数 7
回答已采纳
1回答
我想处理整数行的限制。我希望Pervasives.compare将RightInfinity > Point x用于所有x，而对LeftInfinity则相反。在ocaml REPL中： ;; ;;
- : open_pt list = [LeftInfinity; Point 0; Po
浏览 0提问于2013-06-14得票数 3
回答已采纳
我喜欢在终端中使用ocaml从每个ocaml命令中获取交互结果或类型，例如：val a : int= 5
但是当有许多命令时，我们通常将所有命令放在一个像test.ml这样的文件中，然后对其进行编译。目前，我使用的是ocamlc -o test test.ml。但是当我在终端中执行test时，我看不到每个<em
浏览 4提问于2011-06-18得票数 0
回答已采纳
4回答
在OCaml中扩展现有类型
、、、、
我最近一直在做一些OCaml编程，以学习这门语言并更好地了解函数式编程。最近，我开始认为我希望能够扩展现有的类型(无论是内置的-还是我自己的类型)，例如： And of bexp * bexp| Xor那么为什么不这样做呢：...but这不是有效的OCaml，它给出了一个语法错误。基本上，我想说的是，我希望nbexp包含bexp包含的
浏览 0提问于2009-11-17得票数 20
回答已采纳
阅读“真实世界”( Real )一书时，我遇到了以下类型声明(第6章:变体)： | Basic of basic_color * weight (* basic colors例如，RGB元组中的每个int应该只能具有0-5的值。-type rgbint() :: 0 | 1 | 2 | 3 | 4 | 5.然而，当我在OCaml (在utop中)尝试这
浏览 4提问于2016-01-30得票数 3
回答已采纳
1回答
记录模式匹配
、、、、
根据这个，在F#和OCaml中，我需要使用下划线来丢弃记录的其余部分。然而，为什么handle'函数可以工作，而handle函数却不能工作呢？
浏览 2提问于2017-05-14得票数 3
回答已采纳
1回答
假设我有三种类型的DU和一个接受这个DU作为参数的函数： type B = decimal<p> type AB = A2 of A | B2 of B
match v
浏览 3提问于2020-06-05得票数 0
回答已采纳
1回答
ocaml中的模块化编程
、、、
在处理ocaml项目时，我发现了一些我不太理解的东西。length: a' list -> intlength: a' array -> int
但是，我希望您通过open关
浏览 0提问于2012-07-31得票数 5
回答已采纳
2回答
键入'a tree =空的'a * 'a tree *‘树的空\ Node；
在Node of中，Node是内置的OCaml类型吗？
浏览 3提问于2017-09-03得票数 2
回答已采纳
我正在努力掌握OCaml语言的语法，但在应用一些OOP结构时遇到了一些问题。我使用以下代码的目标是拥有一个继承自虚拟类foo的类栏。这个虚拟类包含三个虚拟方法，我希望以"player“对象的实例作为参数。当我编译下面的代码时，我得到了一个错误:方法doThis的类型是'a -> 'b，但它的类型应该是Player.这是什么意思(记住，我是新手)，我该如何去纠正它？
谢谢!
浏览 1提问于2009-02-01得票数 4
回答已采纳
我了解到Coq是用OCaml编写的，但它的规范语言是Gallina。除了它们都是函数式编程语言之外，这两种语言有什么关系？
浏览 2提问于2019-05-28得票数 1
我正在尝试做一些语言互操作的事情，并希望得到关于31b部署对OCaml开发人员社区有多重要的指导。具体来说，对于大多数部署来说，OCaml几乎总是63 (或者至少每个JS后端是≥32 )，或者31b在野外仍然很常见。在sizeof (void*) == 4中，我没有一台方便的机器，所以我不能在那里测试opam默认做什么。
我查看了opam的。该选项似乎与 ( 所要求的)相冲突，但我不知道这是否意味着当通过opam安装ocamlopt时
浏览 14提问于2022-09-14得票数 1
在中，我看到了许多这样的方法：我知道List:D是一种定义的列表，但是D后面的冒号意味着什么(即List:D:中的第二个)？我在上找到了一些解释
调用方的声明是可选的。您可以始终使用关键字self访问当前调用方。..。要标记显式调用方，只需在其后面加上一个冒号：
方法doit
浏览 1提问于2017-08-21得票数 7
回答已采纳
2回答
为了启用尾递归，ocaml电池库使用中的可变累加器。let cell = create x in cell看起来可变列表只是简单地转换为不可变列表类型，但是mut_list和list没有相同的类型定义这些代码是如何工作的，为什么工作？
浏览 9提问于2022-11-05得票数 1
回答已采纳
1回答
blow是ast.ml，在ast.mli中都是一样的 | Bool | { fields :field list }and field =在parser.mly中，我将字段用作列表 | fields COMMA field { $3 :: $1 }
| ID
浏览 2提问于2016-04-11得票数 0
在OCaml中，是否有一种方法可以获得一个变体类型的所有变体的列表？例如，在下面的代码中，我必须手动创建一个所有变体的列表，这是很乏味的。它也很容易出错，因为我可能不小心遗漏了其中的一个变体，或者不止一次包含其中的一些变体。是否有一种方法可以自动创建所有变体的</em
浏览 2提问于2022-10-21得票数 3
学习OCaml，并想知道为什么编译器认为我为一个参数类型的构造函数提供了零参数。这个OCaml：用lambdas解析替换的编译器在这里缺少什么？我是否还可以添加一些其他内容，使
浏览 5提问于2021-08-17得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
