0回答
我正在尝试使用模块/函数器来进行更通用的代码设计。为了简单起见，我有两个接口：module type T2 = sig type t end;;
我想用一个基于T1.t的变体类型来实例化在变体中使用这种约束的正确方式是什么？
浏览 5提问于2017-12-14得票数 1
回答已采纳
1回答
接口中的子类型约束
、、、、
一个函数可能需要多个这样的“特征”作为输入，即：不幸的是，OCaml语法不允许这样做。这似乎是一个纯粹的句法限制，所以我想知道是否有更深的原因？
换句话说:为什么我不能在OCaml类型签名中直接编写
浏览 1提问于2014-06-30得票数 1
回答已采纳
4回答
我正在试验OCaml (3.12.1)的模块语言，为模块定义函数器和签名等等，主要遵循的例子，我偶然发现我对函数器和模块签名如何工作的心理模型存在缺陷。因此，我们有一个函数，它简单地提供一个标识函数'f‘，并由提供该函数的输入参数类型的模块
浏览 0提问于2012-03-20得票数 13
回答已采纳
1回答
我仍然在为模块的设计和实现而苦苦挣扎，我定义了以下内容：sig val init: 'a -> 'a tend
structend
和一个具有模块继承的MmmArray)(MatrixArray
浏览 0提问于2012-01-31得票数 2
回答已采纳
2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。(虽然我可以制作只提供签名的type模块。)
如果是，为什么？OCaml的类型</em
浏览 2提问于2011-05-14得票数 38
回答已采纳
由于数据/ monad模块的do表示法在结构上运行，我如何定义作为函数的monad类型，例如解析器？我已经习惯了OCaml，我的monad大概有以下签名： type state = string * int
val return: 'a -&
浏览 0提问于2018-09-13得票数 2
回答已采纳
在大多数具有参数/泛型类型的语言中，有一个(type)表达式可以用来表示“某物的集合”。例如，爪哇的Set<Integer>。没有“泛型集”类型。相反，有一个Set模块，它包含一个名为Ma
浏览 20提问于2022-05-10得票数 2
回答已采纳
2回答
据我所知，本文讨论了OCaml目前的模块类型/签名系统的起源。作者建议对签名中的类型声明(允许单独编译)和显式类型声明(表示性)进行不透明的解释。试图将我自己的一些例子放在一起来演示OCaml模块签名符号试图解决的问题，我在两个文件中编写了以下代码：
在文件orde
浏览 1提问于2012-03-23得票数 8
回答已采纳
我有签名 val input : ipv4:('a -> unit Lwt.t) ->Cstruct.t -> Mirage_protocols.Ethernet.proto * 'a) ->
t -> Cstruct.t -> unit Lwt.t 我们的目标是成为通用的，并将实现推迟到参数函数。如果我使用Cstruct.t
浏览 27提问于2020-04-15得票数 1
在过去的一年左右，我一直在Haskell中玩耍，实际上我开始“理解”它，直到Monads，镜头，Type Families，……一大堆。我马上就要离开这个舒适区了，我要把工作转移到一个OCaml项目上。通过一点语法，我在寻找类似的更高级别的概念，例如functor。我读了Haskell中的代码和函数器的结构，但我似乎不能理解它们现在是否在OCaml和OCaml中是相似的概念。简而言之，Haskell
浏览 0提问于2013-05-03得票数 44
回答已采纳
2回答
我有一个大型的OCaml代码库，并希望从中获得一些类似于UML的类/模块图，类似于一些工具所做的工作。这些图不需要是正式的UML图，但是能够至少看到每个模块签名中定义的函数/类型的名称对于理解OCaml代码基非常有用。如果这可以与模块之间的关联结合起来，那就更好了。
可以用ocamldoc来
浏览 6提问于2015-07-06得票数 5
回答已采纳
我有一个定义了地图的文件context.ml和类型为CtxMap.key-> 'a CtxMap.t -> 'a的函数map_get
如何向context.mli文件添加CtxMap声明？我找不到这样做的方法，因为mli文件不能包含代码。
浏览 1提问于2011-02-03得票数 7
回答已采纳
我在做真实世界的Ocaml，用Ocaml 4.06，emacs/merlin。请参阅下面的代码片段。我认为函数类型已经改变了。Core_kernel__.Comparator.S with type comparator_witness = 'b and type t = 'a)
我希望Int.comparator将扮演有效的比较器的角色，但是ocaml认为它是无效的。Q2)我应该给它什
浏览 0提问于2018-02-13得票数 1
回答已采纳
假设我有这样一个类型： { }结构用于声明结构类型也用于泛型参数约束。用于模块定义中的OCaml兼容性.
浏览 2提问于2021-12-30得票数 1
回答已采纳
1回答
我试图在OCaml中扩展函子。module type X = functor (A : ModuleA) -> I with type t := A.tmodule type Y = functor (A : ModuleA) -> include X(A)
val blah : A.t -> int我正在尝试用更多的函数扩展来自X<
浏览 0提问于2018-02-27得票数 3
回答已采纳
我最近发现了Haskell的名为“模块签名”的特性。据我所知，它们被放在.hsig文件中，并以signature关键字开头，而不是module。这样文件的示例语法可能如下所示empty :: Str然而，我无法想象人们将如何以及为什么要使用它们它们强烈地让我想起了在OCaml ()中看到的模块系统，它也有
浏览 0提问于2019-03-09得票数 5
2回答
在OCaml中，您可以嵌套签名：sig (* … *)我只是想知道是否有人在使用它的任何例子，因为我想不出有任何地方需要它我想它在函数器的返回签名中可能很有用，但我想不出任何具体的东西。
浏览 1提问于2010-12-07得票数 5
1回答
我试图在模块之间传递一个AST，我在主模块中写下了下一句话： let var = "value" in.
let tree = Parse.parse_tree ~file:input input_text|> M1.f1 |> M2.f2 关键是，在M2.f2中，我需要计算一个从Main模块接收参数的函数。有没有办法将参数从一个模块传递到另一个模块？以类似于“全局变量”
浏览 19提问于2021-10-19得票数 0
2回答
我正在尝试用OCaml编写一个简单的塔防御游戏，作为一个学习项目，但我在如何构建代码方面遇到了问题。无论如何，我一直在尝试为每种类型的塔都有一个模块，这些模块都有相同的签名(TOWER)，实现主循环用来更新游戏的功能。我的想法是使用一流的模块，这样我就可以拥有像这样的函数 let module
浏览 1提问于2016-03-09得票数 1
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
