在第一个编译单元中，我在moduleA.mli中包含以下内容 module A : sig ...end 在moduleA.ml中，我有： module A = struct ...end 在第二个编译单元中，我在moduleB.mli中包含以下内容 module B : sig ...end 现在，在“前端”文件中，我得到如下类型错误： This expres
浏览 16提问于2021-04-27得票数 0
回答已采纳
1回答
在OCaml 3.11中，我希望使用include指令“扩展”现有模块，如下所示： include String include Stringend
但是include语法是不正确的，因为String引用的是模块，而不是模块类型我如<em
浏览 2提问于2010-05-06得票数 6
2回答
在OCaml中有一个伪造数据库连接的测试替身是怎么回事？
假设您想要在数据库上测试一个小型应用程序接口，其工作方式是为应用程序接口公开的每个函数提供一个Connection类型。更重要的是，鉴于OCaml强大的类型系统已经确保您不会犯奇怪的错误，这种测试在OCaml中是常见的吗？
浏览 0提问于2011-08-20得票数 7
我编写了以下OCaml代码，以便将请求发送到https服务器。https) (port 443) (tls true)) -> (TCP ((V4 xx.xxx.xx.xxx) 443))我已经阅读了google的所有结果(文档、ocaml/cohttp/ocaml列表和堆栈溢出问题)，但是没有什么帮助，所以我想从这里开始。uncaught exception:编辑2:正如在下面的讨论中所建议的：，为了修复这个错误，我在ssl-0.
浏览 1提问于2018-10-16得票数 1
回答已采纳
这是语言之间的恩惠，因此有，它基本上为您定义的任何类型生成可解析的交换格式；它自动化编写普通代码的过程(编写在某些交换信息中读取的函数，并生成某种任意类型的实例)。基本上，到目前为止最好的选择是协议缓冲区，如果沿着ocaml的路线走，我绝对希望使用协议缓冲区。如果有一些声明式的模式来管理函数公开，这样就可以通过某种介质(比如RPC，或者将函数映射到带有参数编码的url )到达ocaml库，这将是很好的。那么，难道就没有某种方法来集成这两者，而只是指定应该公开哪些函数，以
浏览 8提问于2014-10-16得票数 2
回答已采纳
我试图转储Haskell项目中所有标识符的类型信息，基本上这与遍历类型化抽象语法树是一样的。
在中，OCaml通过一个名为compiler-libs的库公开其内部API。
浏览 0提问于2015-02-08得票数 4
在OCaml中，“乐趣”似乎是我的绑定运算符。OCaml有内置的替代吗？如果是，它是如何实现的？它是否使用de索引实现？只是想知道如何在OCaml中实现非类型化的lambda演算，但没有找到这样的实现。
浏览 1提问于2018-01-01得票数 2
回答已采纳
我想知道从OCaml向Python发送数据并从Python向OCaml返回响应的最好方法。1)在OCaml中，将数据写入文件系统上的文件(input.txt)。2)在OCaml中，运行python，打开input.txt，读取数据，并将执行结果写入output.txt有没有其他简单的方法来完成这类任务？
浏览 0提问于2015-01-15得票数 6
可以在项目OCaml框架(WindowsForm、C#等)中使用.net库函数。调用函数传递参数并接收答案。最后，如果有例子，那就好了。
浏览 3提问于2014-10-20得票数 1
在OCaml中，Hashtbl可以将任何东西转换为int。
但是OCaml是如何做到这一点的呢？
浏览 1提问于2013-03-22得票数 5
回答已采纳
我读了一些关于Standard中的值限制的文章，并尝试将这个示例翻译到OCaml，看看它会做什么。看起来，OCaml在SML由于值限制而拒绝程序的上下文中生成这些类型。我还在其他上下文中看到过它们，比如尚未“专门化”到特定类型的空哈希表。X1 option ref * [int ty] option r := SOME 5
相比之下，在OCaml中，虚拟类型变量是可访问的，并且与它能做到的第一件事是统一的( 1
浏览 7提问于2016-07-05得票数 11
回答已采纳
1回答
假设您正在用OCaml/F#/SML/Haskell编写一个应用程序，并希望将数据持久化到关系数据库中。将产品类型(记录和元组)映射到关系很容易，但是如何将变量类型映射到关系呢？具体来说，如何在关系数据库中持久化如下所示的类型？(* OCaml *) | Foo | Baz of int * int * int
浏览 3提问于2015-10-19得票数 11
我使用的是版本4的Ocaml。当我以交互方式定义某个类型时，解释器会立即打印出该类型的字符串表示：type foo= Yes | No <-- This is what interpreter bounced我如何在</em
浏览 1提问于2013-01-12得票数 21
5回答
我有一个关于OCaml中抽象类型的问题。假设我有一个隐藏某种类型的模块： type tend = structlet () =
在我的应用程序中，我没有比int选项更复杂的东西，我不想向外公
浏览 1提问于2017-07-04得票数 2
回答已采纳
我想编写一个递归结构，就像我们在C中所做的那样，但是在Ocaml中。我希望我们包含一个布尔值和一个相同类型元素的递归副本列表。我如何在Ocaml中做到这一点？
浏览 0提问于2020-06-24得票数 0
2回答
我经常听说F#缺乏对OCaml行类型的支持，这使得语言比F#更强大。
他们是什么?它们是代数数据类型，如sum类型(歧视联合)还是乘积类型(元组、记录)？是否可以用其他方言(如F# )编写行类型？
浏览 7提问于2018-01-04得票数 32
回答已采纳
1回答
嵌入ocaml解释器
、、、
我有一种很小的语言，它基本上是OCaml的扩展(实际上它是OCaml子集的扩展，但这无关紧要)。当然，我理解OCaml是一种静态类型语言，以及该类型系统一般是如何工作的。因此，我还需要能够提供一个环境并检查表达式的推断类型(或者至少要处理类型错误)。我还意识到需要管理解释器状态等等。显然，这是可能的，因为utop和toplevel都是在OCaml中实现的。所以我的第一个想法就是选择其中之一，并使之适应我的需要。现在谈谈我的问题：
浏览 1提问于2014-10-14得票数 2
回答已采纳
2回答
我正在看一个，它的目标是向OCaml公开可可API。代码由一个函数组成，该函数有两个值，其中提到了返回类型。或者这不是一个返回类型。
浏览 0提问于2018-09-27得票数 0
回答已采纳
有没有其他编程语言(如Java )读取OCaml的默认序列化输出(.marshall)的方法？
我知道节俭/原型，它们都支持OCaml类型的服务器化。有几个选项可以帮助将类型序列化为JSONs- Anton的出色的和Martin的超级。还有什么我还没有探索过的东西可以让我读到OCaml的默认马歇尔输出是用Java还是Python呢？
浏览 0提问于2015-04-08得票数 0
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
