0回答
假设我有一个模块A，具有以下接口和实现文件：module type A_SIG = val f: int -> intend
为什么会这样呢？在SML中似乎可以使用以下内容：signature A_SIG = val f: int -> intend
(* a.sml
浏览 6提问于2018-07-11得票数 3
回答已采纳
4回答
签名/函子模式中的非抽象类型冗余
、、、、
使用签名/函子模式，我引用了Map.S / Map.Make在OCaml标准库中的样式。当您想在某种类型上参数化一大块代码而不使其完全多态时，这种模式是非常成功的。基本上，您通过提供签名(通常称为S)和构造函数(Make)来引入参数化模块。
首先，签名和函子都必须在.mli文件中声明。其次，签名必须在.ml文件中完全重复(这里是否有任何与.mli文件不同的
浏览 7提问于2015-03-03得票数 0
我想在OCaml中实现一个模块签名，如下所示，其中函数get_data依赖于每个模块实现并返回一个option类型。sig val get_data : int -> t optionendlet get_data_exn value = match get_data value
浏览 0提问于2019-12-02得票数 1
我感兴趣的是List.init和其他库函数是如何在OCaml中实现的。在哪里可以看到实现？我检查了这个官方链接：，只找到了函数签名。
浏览 11提问于2022-07-09得票数 0
回答已采纳
在OCaml中使用相互递归的模块定义时，即使在.ml文件中也需要提供签名。这是一个烦人的地方，因为我还想从.mli公开给定的接口，因为我最终会重复签名两次。:(！当然，签名在.mli中是重复的。为什么这是必要的？
(注意:我不是在抱怨，而是想知道这是不是类型理论或“硬编译器问题”-related造成的。)
浏览 0提问于2011-01-20得票数 9
回答已采纳
2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。(虽然我可以制作只提供签名的type模块。)
如果是，为什么？OCaml的类型系统似乎与Haskell并没有那么大的不同。
浏览 2提问于2011-05-14得票数 38
回答已采纳
1回答
Ocaml组合签名module type ORDERED = sig type comparison = LT | EQ | GT如何指定“输入模块”同时满足两个签名？) -> type t = Left.t * Right.t end
也许是有一种优雅的方法，可以采用签名的“联合”(但不是匿名联合)，或者在具体的OR
浏览 2提问于2015-10-16得票数 5
回答已采纳
我不明白为什么OCaml不能找出这里没有混乱的空间:下面的内容只能是A的。在不禁用警告的情况下，我如何才能告诉它“它很好”？
我知道我可以通过打开A来解决这个问题。然而，如果H定义自己的函数和类型类似--但不相等--与A相似，那么它就会有不必要的冲突。也许没有解决方案，但我想知道为什么OCaml在这个问题上如此盲目:类型别名应该也意味着构造函数和记录字段别名，不是吗？
浏览 2提问于2018-04-13得票数 2
回答已采纳
2回答
据我所知，本文讨论了OCaml目前的模块类型/签名系统的起源。作者建议对签名中的类型声明(允许单独编译)和显式类型声明(表示性)进行不透明的解释。试图将我自己的一些例子放在一起来演示OCaml模块签名符号试图解决的问题，我在两个文件中编写了以下代码：module typeORDERING = sig val is
浏览 1提问于2012-03-23得票数 8
回答已采纳
我想执行以下命令：并将其输出重定向到file.mli。问题是我不能写因为创建了file.mli，所以执行dune exec -- ocaml-print-intf因为它应该生成file.ml的签名，但是它首先检查的是是否已经有签名文件(在我们的例子中是file.mli)，如果有，则输出<e
浏览 0提问于2022-06-29得票数 0
回答已采纳
1回答
接口中的子类型约束
、、、、
. >在界面中手动组合这些特征是很麻烦的，而且容易出错，但完全有可能。换句话说:为什么我不能在OCaml类型签名中直接编写子类型约束呢？
编辑:为了澄清用例:我有几个(有时是相互依存的)模块，它们在某些公共共享状态上提供功能。这些模块应该是可组合的和松散耦合的(也就是说，只需要它们在全局状态中的一部分来满足它们的需求，因此，我总是可以用新的功能扩展状态)。为了实现这一点，状态封装在一个提供几
浏览 1提问于2014-06-30得票数 1
回答已采纳
1回答
我们有相当多的ocaml代码，模块之间有很多硬耦合依赖项。... end 0因此，这是一个模块，它具有两个函数，具有相同的签名，但是f和g的实现忽略它们的参数，默认情况下返回函数f和函数g的空字符串。我没有为OCaml找到任何这样做的框架。
我试图找出如何通过camlp4和代码生成来实现这一点，但
浏览 2提问于2013-12-18得票数 5
回答已采纳
2回答
很奇怪，这段ocaml代码片段是由toplevel很好地键入的。看看结构，如果g的类型是int->int，如toplevel所示，结构的h x = g x部分将不能获得类型统一。
浏览 4提问于2012-06-20得票数 6
回答已采纳
我在OCaml中理解了interfaces和module的概念。然而，我不明白的是如何充分利用它们。例如，在Java中，假设我们有一个接口Map，还有实现Map的Hashtable和HashMap。，但我怎么能在Ocaml中轻松地做到这一点呢？
例如，我有MapSig和'HashMap:MapSigand "Hashtable:MapSig在OCaml中</em
浏览 5提问于2013-02-21得票数 0
回答已采纳
1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。我的观点是，在Haskell中可以创建派生的几个类型类的类型。我的问题是:我们可以简单地在OCaml中做同样的事情吗？简单地说，我指的是语言的基本语法，没有太多的技巧。为了给出一个比较具体的例子，假设我们有两个OCaml签名
浏览 0提问于2016-06-13得票数 16
回答已采纳
是否有可能以这样的方式实现ceylon类型检查器，即直接满足接口(成员签名中的类型与被满足的接口中的类型相同)的类可以省略其自己的成员签名中的类型？这将有助于通过将所有元信息(类型、注释)移动到接口来减少实现站点的视觉混乱。它有助于专注于实现细节。这可以帮助我们说得更多、更清楚。在Lukas Werkmeister给出答案后编辑：
我想要的是一种快捷的语法，它
浏览 7提问于2016-02-25得票数 0
1回答
在OCaml中，假设给出了一个类型：是否有特定于OCaml的内置(给定'a myTypeA myTypeB类型的值x )来获得'a myTypeA类型的值y我在找一个有签名的函数：
val deconstruct : 'a myTypeA myTypeB -> 'a myTypeA
浏览 0提问于2018-02-27得票数 0
回答已采纳
我正在尝试在OCaml中实现一个rec函数，但我不知道如何过滤掉结果列表中重复的公共元素，下面是我的实现： let rec common twolists = s :: common (ss, y) common (ss, y)
;; 我在两个列表中找到了所有的公共元素，但我不知道如何在
浏览 9提问于2019-01-30得票数 0
4回答
我在过去的18个月里掌握了函数式编程，从学习OCaml开始，到现在已经有几个星期了。现在我想走下一步，实现一些实际的应用程序:一个简单的实时地形编辑器。所使用的递归算法和数据结构似乎非常适合函数实现。正确的做法当然是用两种语言
浏览 0提问于2010-11-30得票数 57
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
