1回答
我有以下用户定义的类型：我正在尝试应用模式匹配，但是我遇到了Poly不是空列表的情况，我最后一次尝试是
Poly [(x,y)::xs]
浏览 17提问于2020-02-11得票数 0
回答已采纳
2回答
我希望在Ocaml中有用户定义的类型，它代表以英文字母开头的字符串，然后可以有字母或数字。可以定义这样的自定义类型吗？
浏览 2提问于2014-05-22得票数 0
回答已采纳
3回答
OCaml repl (“顶层”)具有丰富的打印功能，可以打印任何类型，无论是用户定义的类型还是其他类型。有没有可能在顶层之外访问这个功能，而不是必须为自己的整个类型集编写一个完全自定义的值型打印机集？
浏览 0提问于2011-09-01得票数 18
回答已采纳
我正在尝试使用，它要求在它称为"atd文件“中定义要转换为JSON的OCaml对象的类型。data: ('a, 'b) bucketlist array; initial_size: int; 编译器会弹出一个：
错误:此变体或记录定义与('a，'b) Hashtbl.t类型不匹配。我不知道如何定义别名，atdgen将生成代码，帮助我将Hashtbl序列化为JSON。因为我在中
浏览 4提问于2015-03-11得票数 1
回答已采纳
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的类型错误，它提到了一个类型变量'b，该变量没有出现在定义<
浏览 20提问于2020-01-21得票数 5
回答已采纳
1回答
我正在尝试使用LLVM和OCaml实现具有用户定义类型的静态类型语言，但我不知道如何将新类型定义添加到LLVM模块中。 我查阅了OCaml文档，但没有找到任何用于此目的的函数。我试过LLVM: Defining a new type via OCaml bindings的回答，但不起作用。
浏览 15提问于2021-04-02得票数 2
1回答
Haskell的ghci可以很好地打印属于实现Show类型类的类型的任何值。OCaml中有没有等价物可以让utop很好地自动打印用户定义类型的值？
浏览 17提问于2017-07-22得票数 1
回答已采纳
1回答
当我将以下Coq数据类型提取到OCaml时：Inductive Bar (f:Foo) := | C | D.Extraction Language Ocaml.type foo =| B
| C“bar”类型不同于Coq的类型，因为它的类型签名中包含“f”。定义这些<e
浏览 2提问于2017-08-09得票数 4
回答已采纳
2回答
在Ocaml中，是否有简单的构造/样式来扩展已定义的类型？bool2 = True | False bool3 = True | False | ThirdOne
浏览 0提问于2011-07-30得票数 11
回答已采纳
我无法从ocaml编译器源代码中理解这个ocaml代码：50: type 'a ast_kind =52: | Signature : Parsetree.signature ast_kind
定义类型ast_kind，定义类型参数'a，但不使用它？我知道类型</
浏览 0提问于2018-11-06得票数 1
回答已采纳
假设我有这样一个类型： { }结构用于声明结构类型用于模块定义中的OCaml兼容性。
用于模块定义中的OCaml兼容性.
浏览 2提问于2021-12-30得票数 1
回答已采纳
1回答
我在上读到，ML方言不允许非地面类型的类型变量。Ground = Int type SecondOrder c = c Int -- ML do not allow :c
OCaml对类型定义不遵循“新鲜度”限
浏览 5提问于2019-11-10得票数 3
回答已采纳
问题Q1：这是什么'a. (注意点)？let f:'a.'a list -> int类型type t = { f: 'a.显然，从定义部分来看，这是不可能的，因为x的
浏览 0提问于2014-04-27得票数 31
回答已采纳
我使用的是版本4的Ocaml。当我以交互方式定义某个类型时，解释器会立即打印出该类型的字符串表示：type foo= Yes | No <-- This is what interpreter bounced
但是在我输入更多的定义之后，有时我想再次看到类型的文本表示。我如何在Ocaml中做到这一点？
浏览 1提问于2013-01-12得票数 21
1回答
"^ s
这里的最终目标是一个类型推断引擎，所以我可以告诉infer_type将被赋予一个表达式，它将被传递给infer‘(我将不得不实现它)。我以前从来没有使用过Ocaml，我只是想在我尝试实现这些函数之前对其进行编译。
浏览 0提问于2018-03-11得票数 0
我在封送处理数据结构(错误抽象类型(自定义))时出现故障。在使用中有一种已知的抽象类型，即Big_int。不过，这样就没问题了。应用程序中没有自定义的C代码。除了Num之外，还使用了Unix库(但是我不相信有任何活动的对象是这种类型的)。我们是用闭包来管理的。使用了两个(仅有)第三方库: OCS Scheme (Scheme解释器，纯Ocaml)和Dypgen (可扩展GLR解析器，也是纯Ocaml)。Ocaml错误消息是无用的(它没有指出哪个带有自<
浏览 0提问于2011-01-30得票数 9
6回答
我希望找到编程语言，这些语言允许您定义能够接受自己(即指向自己的指针)作为参数的函数。我尝试在OCaml中定义类似的函数，如下所示：但是，由于类型错误，它失败了： The type variable 'a occurs inside 'a -> &#x
浏览 6提问于2019-04-22得票数 6
回答已采纳
我很好奇大于(>)和小于(<)运算符如何处理OCaml中不是整型、浮点型或双精度型的类型。最后，这些如何在用户定义的数据类型中工作？
谢谢!
浏览 2提问于2015-07-01得票数 3
我感兴趣的是在大图像类型的层次结构中定义一个原始类型(颜色通道)。由于所讨论的类型代表了一点，因此将其可能的值限制在0到255范围内的整数似乎是合理的。但是，我不知道在类型级别实现这样的约束是否是OCaml的类型系统中通常所做的事情。type channel = int (* restrict to range 0 -> 255 *)
如果这样做在OCaml类型系统中是合法的，那么应该如何在类型级别上定
浏览 11提问于2017-01-02得票数 2
回答已采纳
我想知道是否有可能为OCaml记录创建一个最终的方法？我正在创建一个GPU数据库，我使用OCaml构建DSL来查询和操作GPU数据，我需要一种方法来释放GPU内存，当它们符合GC条件(不再引用)。
浏览 0提问于2014-02-11得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
