1回答
ocaml中的模块化编程
、、、
在处理ocaml项目时，我发现了一些我不太理解的东西。length: a' list -> intlength: a' array -> int
但是，我希望您通过open关键字在我实现的同一个模块中使用这两个模块</e
浏览 0提问于2012-07-31得票数 5
回答已采纳
假设我有这样一个类型： { }结构用于声明结构类型用于模块定义中的OCaml兼容性。
用于模块定义中的OCaml兼容性.
浏览 2提问于2021-12-30得票数 1
回答已采纳
1回答
我来自Javascript背景&我试图了解我需要如何构造/构建一个使用Reason/Ocaml的模块系统的程序。作为一项练习，假设我想用OCaml/R伊编写这段javascript (将通过js_of_ocaml将其编译回js )
var TeaType = new GraphQLObjectType({我是否应该使用另一个模块来通过GraphQLObjectType在js中通过js_of_ocaml生成一个js_of_ocaml？
浏览 5提问于2016-05-31得票数 1
回答已采纳
1回答
我试图在OCaml中扩展函子。这在OCaml中是可能的吗？我做错了什么？编辑：上面的函子X返回一个模块类型(或者至少我是这样读取该表达式的)。如果允许这个表达式，那么为什么OCaml禁止扩展结果模块类型？
浏览 0提问于2018-02-27得票数 3
回答已采纳
我正在将几个基于OCaml的模块转换为F#。OCaml代码使用来自的num类型。num型Big_int of Big_int.big_int
虽然我很幸运地将这个转换将OCaml num变量更改为F# int类型，但我想知道是否有人知道num模块的公共端口到F#。
浏览 3提问于2012-09-08得票数 2
回答已采纳
2回答
模与存在性的区别
、、
众所周知，OCaml模块只是存在主义的类型。但正如我刚才所证明的，OCaml既有模块也有存在类型。我的问题是：
有什么东西可以在其中一种而不是另一种实现？您什么时候会使用其中一种而另一种(特别是比较第一类模块和存在类型)？
浏览 3提问于2015-03-13得票数 9
回答已采纳
4回答
我一直在阅读F#文章，它们使用单例变体来创建截然不同的不兼容类型。然而，在Ocaml中，我可以使用私有模块类型或抽象类型来创建不同的类型。在Ocaml中使用像F#或Haskell这样的单大小写变体是很常见的吗？
浏览 27提问于2021-04-26得票数 2
回答已采纳
2回答
据我所知，本文讨论了OCaml目前的模块类型/签名系统的起源。作者建议对签名中的类型声明(允许单独编译)和显式类型声明(表示性)进行不透明的解释。试图将我自己的一些例子放在一起来演示OCaml模块签名符号试图解决的问题，我在两个文件中编写了以下代码：module type我承认，我不确定在module A : B中遇到的语法：，但它让我怀疑是否存在这样或类似的语法(不涉及函子)，允许
浏览 1提问于2012-03-23得票数 8
回答已采纳
2回答
我有一个大型的OCaml代码库，并希望从中获得一些类似于UML的类/模块图，类似于一些工具所做的工作。这些图不需要是正式的UML图，但是能够至少看到每个模块签名中定义的函数/类型的名称对于理解OCaml代码基非常有用。如果这可以与模块之间的关联结合起来，那就更好了。
可以用ocamldoc来完成吗？我知道它能够在模块之间生成DOT依赖图，但我无法确定它是否能够生成模块中定义的每种类型/函数的信息。
浏览 6提问于2015-07-06得票数 5
回答已采纳
2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。(虽然我可以制作只提供签名的type模块。)
如果是，为什么？OCaml的类型系统似乎与Haskell并没有那么大的不同。
浏览 2提问于2011-05-14得票数 38
回答已采纳
1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。我的观点是，在Haskell中可以创建派生的几个类型类的类型。(允许Person类型的值支持相等测试、可打印，并在给定的示例中可读)。我的问题是:我们可以简单地在OCaml中做同样的事情吗？简单地说，我指的是语言的基本语法，没有太多的技巧。module type
浏览 0提问于2016-06-13得票数 16
回答已采纳
1回答
Coq中的类型封装
、、、
是否有一种方法可以在Coq模块中定义类型，但封装构造函数？
我希望模块的客户端能够使用该类型，而不是构造该类型的成员，类似于使用抽象类型在OCaml中所做的工作。
浏览 3提问于2015-05-12得票数 3
回答已采纳
2回答
如果我有两个模块A和B，并在模块A中定义一个类型，然后想要在模块B中进行一些模式匹配或构造该类型的对象，我必须使用类似于这就是它迫使我做的事情，即使在我有一些类似这样的语句之后在模块的签名和实现中。在模块B中？我可以创建一个全新的类型和一个函数来将一个类型转换为另一个类型，但这似乎很笨拙。
浏览 2提问于2012-08-04得票数 3
我在OCaml中有许多“库”模块(主要是实用程序和助手函数)，我在其中添加了以下类型的代码，用于简单的单元测试：mainlet () = ...现在的问题是，当我将我的“库”模块与我的“主”模块链接起来并执行程序时，我得到了所有这些分散注意力的测试消息。有没有一种方法可以在OCaml模块中包含代码，该模块在单独链接模块时执行(从而促进琐碎的测试)，但在用作“库”时不执行？我读过一些文章，大意
浏览 0提问于2012-04-03得票数 7
回答已采纳
我正在尝试加载OCaml的默认图形模块，但OCaml似乎无法加载它或任何其他模块。我想做的是： OCaml version 4.02.1
Error: Unbound value load
无论我试图加载哪个模块，问题都会持续存在，所以我认为问题在于ocaml安装，而不是模块。我尝试过重新安装OCaml，但这也没有帮助
浏览 7提问于2015-12-18得票数 1
回答已采纳
我马上就要离开这个舒适区了，我要把工作转移到一个OCaml项目上。通过一点语法，我在寻找类似的更高级别的概念，例如functor。我读了Haskell中的代码和函数器的结构，但我似乎不能理解它们现在是否在OCaml和OCaml中是相似的概念。在OCaml中，它给我的感觉是更接近于对接口进行编程(例如，当使用比较函数创建集合或列表时)，而我实际上并不知道如何将函数提升到函数器上。
有人能解释一下这两个概念是否相似吗?
浏览 0提问于2013-05-03得票数 44
回答已采纳
我在eclipse中使用ocalIDE作为ocaml插件，但是在每个#use foo行上我都得到了一个
syntax error: unexpected token "#".
浏览 3提问于2011-04-17得票数 2
回答已采纳
2回答
我一直在努力理解这一点，再努力工作会损害我和OCaml的关系，所以我想我会寻求帮助。现在，为什么在OCaml中我做不到：相反，我不得不去做看着也没能让我得到任何东西。我注意到这种语法上的奇怪之处就像列表一样，你必须做一些不自然的事情而不是自然但是特别奇怪的是上面流类型的".t“部分。我已经在OCaml中搜索了关于显式类型签名、类型等的教程，通常它们会导致非常具体的
浏览 2提问于2015-04-01得票数 1
回答已采纳
云服务器
ICP备案
云直播
即时通信 IM
实时音视频
腾讯云开发者
