2回答
我处于这样一种情况:我正在修改一个用OCaml编写的现有编译器。我已经在编译语言的AST中添加了位置，但它导致了一堆but，因为当相同的AST附加了不同的位置时，以前成功的相等性检查现在会失败。我想知道，有没有一种方法可以让我指定，对于我的位置类型的任何两个值，对于这种类型的任何两个值，=应该始终返回true？重构整个编译器以在任何地方使用自定义相等将是一项繁重的
浏览 7提问于2018-09-05得票数 1
1回答
我正在处理OCaml中的一个解释器任务，在这个任务中我必须绑定值。例如，我可能想要将值"A“绑定到值3。我正在尝试使用ocaml中的哈希表模块来方便存储和查找，但似乎存在与作用域和返回类型相关的多个问题。我想做的是，当从堆栈弹出的第二个值的类型是name时，我想将NAME绑定到第一个弹出的值，然后将U
浏览 1提问于2018-11-19得票数 0
我现在开始用OCaml编写与graph相关的data structure和algorithms。
我愿意尝试在OCaml中以函数式的方式编写它们，即避免使用array、可变类型等。
浏览 0提问于2013-03-29得票数 3
回答已采纳
1回答
在OCaml中有什么(好的)方法来模拟这种情况吗？例如，在使用ocaml时，我希望确保只有在Lua处于特定状态(堆栈顶部的表等)时才调用某些函数。编辑：这是最近一篇关于资源多态性的文章，与问题有关：
编辑2：还有许多关于OCaml可用会话类型的文章，包括提供一些语法糖的语法扩展。
浏览 1提问于2013-03-25得票数 7
回答已采纳
'a和'_l有什么区别？Error: This expression has type ('a -> float polynomial) list but an expression was expected of type float polynomial list derivlist: ('_l → float polynomial) list
浏览 1提问于2010-11-22得票数 13
回答已采纳
1回答
在Haskell和Scala中有很多关于依赖类型的信息。对于OCaml来说，没那么多。是否有人有足够的技能在OCaml中提供如何实现这一目标的编码示例(如果有可能的话)？当然有(被抛弃的) ，但似乎不可能将这些东西合并到“常规”OCaml代码中。顺便提一下，值得一提的是OCaml 分支，
浏览 2提问于2013-03-28得票数 14
回答已采纳
我正在将OCaml 转换为F#；请参阅“我的”。为了开始我改变了
外部size_of_int : int -> size = "%identity“
还有一些我知道是不正确的其他调整，但它允许我转换所有与open_box和close_box相关的代码，期望这三行代码。现在，我必须更改这
浏览 4提问于2012-09-10得票数 3
回答已采纳
当我需要不同类型的数字文本(如0或1 )时，我使用_0和_1，但这个解决方案并不理想。是否可以使用Camlp4在给定的上下文中重新解释数字文字，或者添加具有专用后缀的新类型的数字文字？
浏览 2提问于2015-12-24得票数 1
回答已采纳
最近我收到了密码我完全同意这个部分应用程序具有exn list -> int类型的函数值，并且它产生警告并不令人惊讶。不过，我不知道该警告的一半是甚麽意思：在没有返回语句的情况下，我实际上找不到对此警告的任何引用。即使是ocamlc的手册页也只提到此警告的未返回语句，而w
浏览 3提问于2015-12-23得票数 11
3回答
我的理解是，“纯OCaml”指的是OCaml中的所有标准功能，包括它的非“纯”功能特性，而“纯功能”指的是通常的属性:没有副作用，没有异常处理等。在这个意义上，“纯OCaml”实现是与C或C++实现相对立的，比如OCaml。
然而，我最近与一个非常坚持“纯OCaml”在某些圈子中意味着OCaml的“纯函数子集”
浏览 10提问于2016-01-28得票数 4
3回答
我是一个OCaml新手。我喜欢OCaml的速度，但我不完全理解它的设计。例如，我希望+操作符是多态的，以支持整数、浮点数等。
为什么我们需要+.
浏览 4提问于2011-11-05得票数 28
回答已采纳
我被困在这上面好几天了.很抱歉有这样一个问题，但我只是F#本身的初学者。由于有很多关于类型提供者的讨论，我决定构建一个，并就此写一篇论文。当我开始的时候，我不知道什么是类型提供者。现在我有了一些想法，我已经建立了一个简单的CSV类型的提供者，但我在评估中缺乏关于用其他语言制作这样的东西需要多少时间和工作的争论。到目前为止，我还没有找到关于它的任何线索，只是类型提供
浏览 0提问于2017-11-26得票数 9
回答已采纳
3回答
在研究F#和OCaml之间的差异时，我发现他们倾向于关注和 。然后我发现了，它将类型和类型推断列为不同的特征。由于特写文章说OCaml和F#都使用类型推断，我认为这是一个标准算法，即一个不允许变化的算法，这两个特徵是如何联系的？是否达马斯-米尔纳是构建两个类型推理系统的基础，但它们各自都基于类型来修改达马斯-米尔纳？
我还检查了F#源代码中的单词
浏览 0提问于2012-09-10得票数 8
回答已采纳
4回答
我研究了一些用于JVM的新语言。其中有两个最近备受关注: Clojure和Scala。但在我看来，这两个都不是理想的。(让我们把它作为一个猜测，因为我不想在讨论中伤害自己。)我实际上认为一个棘手的举动是微软的发明-- F#。只需将OCaml语言迁移到.NET平台，就会产生一些令人惊叹的结果。
问题是:有人设法为JVM编写了一个功能齐全的OCaml编译器吗？
浏览 1提问于2009-10-08得票数 18
回答已采纳
我读了一些关于Standard中的值限制的文章，并尝试将这个示例翻译到OCaml，看看它会做什么。看起来，OCaml在SML由于值限制而拒绝程序的上下文中生成这些类型。我还在其他上下文中看到过它们，比如尚未“专门化”到特定类型的空哈希表。X1 option ref * [int ty] option r := SOME 5
相比之下，在OCaml中，虚拟<e
浏览 7提问于2016-07-05得票数 11
回答已采纳
1回答
使用对用C编写的外部函数的多次调用会影响OCaml程序的性能吗？ocamlc -o hello.byte -c hello.cma cstub.o
换句话说，做以下事情之间有什么实质区别吗？
浏览 0提问于2017-08-15得票数 0
回答已采纳
2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。(虽然我可以制作只提供签名的type模块。)
如果是，为什么？OCaml的类型系统似乎与Haskell并没有那么大的</e
浏览 2提问于2011-05-14得票数 38
回答已采纳
1回答
在OCaml中使用什么进行跟踪和调试？对于跟踪，我希望能够打印每个变量的数据构造函数。下面显示了一个使用Camlp4的示例： let print_colour = Red
浏览 0提问于2011-11-10得票数 9
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
