我想知道，在Ocaml中，是否有部分打字信息。对于不能编译的程序，能不能通过toplevel/编译器的一些现有功能来绘制？让我解释一下。在Ocaml中，众所周知，推断类型可以通过-annot文件来检索。然而，有时我们有一段代码由于一些输入错误而无法编译。但是，她/他可能很难理解此错误消息的第一部分:如何推断此"y“具有类型"int"？因此，在引发类型
浏览 0提问于2011-07-27得票数 4
回答已采纳
我编写了以下OCaml代码，以便将请求发送到https服务器。(文档、ocaml/cohttp/ocaml列表和堆栈溢出问题)，但是没有什么帮助，所以我想从这里开始。我怎样才能获得更多关于这一失败的细节？，为了修复这个错误，我在ssl-0.5.5：opam pin add ssl 0.5.5中添加了一个opam。现在，我可以将请求发送到https服务器，但不能使用tls的纯ocaml实现。
浏览 1提问于2018-10-16得票数 1
回答已采纳
1回答
嵌入ocaml解释器
、、、
我有一种很小的语言，它基本上是OCaml的扩展(实际上它是OCaml子集的扩展，但这无关紧要)。为了简化事情，我有一个“转义”表达式，它将OCaml文本传输到我的语言中(因此您可以将任意OCaml代码嵌入到这种语言中)。将这样的表达式编译到OCaml只意味着打开字符串，但是如何计算它呢？当然，我理解OCaml是一种静态类型语言，以及该类型系统一般是如何工作
浏览 1提问于2014-10-14得票数 2
回答已采纳
1回答
ocaml中的模块化编程
、、、
在处理ocaml项目时，我发现了一些我不太理解的东西。length: a' list -> intlength: a' array -> int
但是，我希望您通过open关键字在我实现的同一个模块中使用这两个
浏览 0提问于2012-07-31得票数 5
回答已采纳
1回答
我在上读到，ML方言不允许非地面类型的类型变量。c = c Int -- ML do not allow :c
OCaml对类型定义不遵循“新鲜度”限制:构造type既可以定义别名(类型保持不变)，也
浏览 5提问于2019-11-10得票数 3
回答已采纳
5回答
我有一个关于OCaml中抽象类型的问题。let make_t () = Some 42我也有一个在选项赛上操作的功能： | Some x-> Printf.printf "Some\n"不足为奇的是，当我在t实例上调用do_work时，我得到了<e
浏览 1提问于2017-07-04得票数 2
回答已采纳
3回答
OCaml repl (“顶层”)具有丰富的打印功能，可以打印任何类型，无论是用户定义的类型还是其他类型。有没有可能在顶层之外访问这个功能，而不是必须为自己的整个类型集编写一个完全自定义的值型打印机集？
浏览 0提问于2011-09-01得票数 18
回答已采纳
1回答
在创建了以下个人OCaml类型之后，我有一个非常有趣的学习list的项目：然后像这样填满它：let num_list = Item (1, Item (2, Item(3, Empty)));;
我必须重新编码列表模块的许多功能，这将适应我的新列表类型，如上面所示。我从Length开始，这听起来是最简单的<
浏览 2提问于2016-02-18得票数 1
回答已采纳
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的类型错误</e
浏览 20提问于2020-01-21得票数 5
回答已采纳
3回答
在研究F#和OCaml之间的差异时，我发现他们倾向于关注和 。然后我发现了，它将类型和类型推断列为不同的特征。由于特写文章说OCaml和F#都使用类型推断，我认为这是一个标准算法，即一个不允许变化的算法，这两个特徵是如何联系的？是否达马斯-米尔纳是构建两个类型推理系统的基础，但它们各自都基于类型来修改达马斯-米尔纳？
我还检查了F#源代码中的单词Damas，Mil
浏览 0提问于2012-09-10得票数 8
回答已采纳
1回答
我在尝试重新定义方法，我发现了这个愚蠢的例子：object end
object method get (x : b) = x我明确指定希望b类的get方法接受a b并返回a b，但方法签名是a -> a。在那之后，我添加了一些愚蠢的东西：object end
object
inheri
浏览 1提问于2013-05-23得票数 4
试图将此OCaml代码转换为Rescript [@bs ]) : Web.Node.event_cb) : Web.Node.event_cb)let emptyEventHandler: Web.Node.event_cb = ((._ev) => (): Web.Node.event_cb)是否有人知道这是由他们对Rescript
浏览 3提问于2022-08-07得票数 0
回答已采纳
2回答
根据Rosetta代码中的一节，OCaml元组(由函数返回时)作为一个单元被保存或收集。元组空间安全性
OCaml程序员应该知道，当一个元组返回多个值时，终结不会独立地处理每个值，而是作为一个整体处理元组。因此，只有当所有的值都无法到达时，所有的值才会最终确定。我想知道在OCaml 4.05中这是否仍然是正确的，以及是否有任何替代方法来获得不具有此属性的产品类型的相同功能。
浏览 1提问于2017-10-28得票数 1
回答已采纳
16回答
我有OCaml的经验。您必须为每个函数编写存根，以便转换类型，甚至是C <-> OCaml int。连接是痛苦的一口井。我甚至不想讨论映射C++对象的问题。编辑2:
请说得具体一点。"X可以调用C“没有给出太多的信息。
浏览 12提问于2009-08-15得票数 13
回答已采纳
我正在尝试使用，它要求在它称为"atd文件“中定义要转换为JSON的OCaml对象的类型。mutable data: ('a, 'b) bucketlist array; initial_size: int; 编译器会弹出一个：我不知道如何定义别名，atdgen将生成代码
浏览 4提问于2015-03-11得票数 1
回答已采纳
我了解到Coq是用OCaml编写的，但它的规范语言是Gallina。除了它们都是函数式编程语言之外，这两种语言有什么关系？
浏览 2提问于2019-05-28得票数 1
1回答
c++中的变体、存在多态性
、、、、
我正在进行关于类型系统的研究。在这项工作中，我将研究变体、结构子类型、通用多态性和存在多态性在流行语言中的用法。功能语言，如heskell，ocaml，提供了这样的功能。但我想知道像C++这样的流行语言是否提供了上述功能。这意味着C++是如何实现的
variantsstructural subtypinguniversal polymorphismexistential多态性.
浏览 2提问于2012-03-23得票数 1
回答已采纳
3回答
我的理解是，“纯OCaml”指的是OCaml中的所有标准功能，包括它的非“纯”功能特性，而“纯功能”指的是通常的属性:没有副作用，没有异常处理等。在这个意义上，“纯OCaml”实现是与C或C++实现相对立的，比如OCaml。
然而，我最近与一个非常坚持“纯OCaml”在某些圈子中意味着OCaml的“纯函数子集”的人进行了一场辩论
浏览 10提问于2016-01-28得票数 4
1回答
有人能解释一下为什么我在这段代码中有错误吗？Error: This expression has type int but an expression was expected of type用法示例
浏览 0提问于2014-03-10得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
