我想定义一个依赖于其他模块的模块类型。我想我可以用functor来做这件事，但我相信functor只是模块到模块的映射，不可能用它们来定义模块到模块类型的映射。，例如实数和有理数，我想定义从一个字段到另一个字段的函数类型Func，对于任何两个给定的模块F1，F2，它都是F1.t -> F2.t。有了这些模块</em
浏览 6提问于2019-02-20得票数 3
回答已采纳
在过去的一年左右，我一直在Haskell中玩耍，实际上我开始“理解”它，直到Monads，镜头，Type Families，……一大堆。我马上就要离开这个舒适区了，我要把工作转移到一个OCaml项目上。通过一点语法，我在寻找类似的更高级别的概念，例如functor。我读了Haskell中的代码和函数器的结构，但我似乎不能理解它们现在是否在OCaml和OCaml中是相似的概念。简而言之，Haskell中的</e
浏览 0提问于2013-05-03得票数 44
回答已采纳
1回答
我来自Javascript背景&我试图了解我需要如何构造/构建一个使用Reason/Ocaml的模块系统的程序。作为一项练习，假设我想用OCaml/R伊编写这段javascript (将通过js_of_ocaml将其编译回js )
var TeaType = new GraphQLObjectType({我是否应该使用另一个模块来通过GraphQLObjectType在js中通过js_of_ocaml</e
浏览 5提问于2016-05-31得票数 1
回答已采纳
1回答
ocaml中的模块化编程
、、、
在处理ocaml项目时，我发现了一些我不太理解的东西。length: a' list -> intlength: a' array ->
浏览 0提问于2012-07-31得票数 5
回答已采纳
1回答
假设您正在用OCaml/F#/SML/Haskell编写一个应用程序，并希望将数据持久化到关系数据库中。将产品类型(记录和元组)映射到关系很容易，但是如何将变量类型映射到关系呢？具体来说，如何在关系数据库中持久化如下所示的类型？(* OCaml *) | Foo | Baz of int * int * i
浏览 3提问于2015-10-19得票数 11
假设我有这样一个类型： { }结构用于声明结构类型用于模块定义中的OCaml兼容性。
用于模块定义中的OCaml兼容性.
浏览 2提问于2021-12-30得票数 1
回答已采纳
我正在迁移到最新版本的OCaml (以及Jane Street的核心模块)，但希望我的代码继续使用旧版本进行编译。为此，我想创建一个模块，该模块具有可移植的函数，根据版本的不同映射到旧的或新的接口。查询OCaml版本和Jane Street版本都是可行的。
我们如何在运行时查找编译器或Jane Street的版本？我知道我可以通
浏览 5提问于2022-02-07得票数 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
回答已采纳
2回答
我有一个大型的OCaml代码库，并希望从中获得一些类似于UML的类/模块图，类似于一些工具所做的工作。这些图不需要是正式的UML图，但是能够至少看到每个模块签名中定义的函数/类型的名称对于理解OCaml代码基非常有用。如果这可以与模块之间的关联结合起来，那就更好了。
可以用ocamldoc来完成吗？我知道它能够在模块<
浏览 6提问于2015-07-06得票数 5
回答已采纳
2回答
据我所知，本文讨论了OCaml目前的模块类型/签名系统的起源。作者建议对签名中的类型声明(允许单独编译)和显式类型声明(表示性)进行不透明的解释。试图将我自己的一些例子放在一起来演示OCaml模块签名符号试图解决的问题，我在两个文件中编写了以下代码：
在文件ordering.ml (或.mli -我尝试过两者)
浏览 1提问于2012-03-23得票数 8
回答已采纳
我在OCaml中有许多“库”模块(主要是实用程序和助手函数)，我在其中添加了以下类型的代码，用于简单的单元测试：mainlet () = ...这是主要打印到控制台的代码(用于简单测试目的)。现在的问题是，当我将我的“库”模块与我的“主”模块链接起来并执行程序时，我得到了所有这些分散注意力的测试消息。有没有一种方法可以在OCaml
浏览 0提问于2012-04-03得票数 7
回答已采纳
1回答
Coq中的类型封装
、、、
是否有一种方法可以在Coq模块中定义类型，但封装构造函数？
我希望模块的客户端能够使用该类型，而不是构造该类型的成员，类似于使用抽象类型在OCaml中所做的工作。
浏览 3提问于2015-05-12得票数 3
回答已采纳
2回答
模与存在性的区别
、、
众所周知，OCaml模块只是存在主义的类型。在某种程度上和data x = X : 'a spec
有什么东西可以在其中一种而不是另一种实现？您什
浏览 3提问于2015-03-13得票数 9
回答已采纳
我正在将几个基于OCaml的模块转换为F#。OCaml代码使用来自的num类型。num型Big_int of Big_int.big_int
虽然我很幸运地将这个转换将OCaml num变量更改为F# int类型，但我想知道是否有人知道num模块的公共端口到F#。如果你确定答案是否定的，那就是我所需要的。我知道人们不喜欢简短<
浏览 3提问于2012-09-08得票数 2
回答已采纳
这个问题的题目是自己解释的。如果有人要求我在OCaml中实现这样的函数，该怎么办？这有可能吗？
浏览 1提问于2014-02-28得票数 1
回答已采纳
1回答
OCaml mod中的模块化函数返回的结果与python中的模块化运算符不同。OCaml:- : int = -1>>> -1 % 4为什么结果不同？
是否有在%中作为OCaml操作的标准模块功能？
浏览 3提问于2017-10-15得票数 7
回答已采纳
1回答
我正在尝试使用LLVM和OCaml实现具有用户定义类型的静态类型语言，但我不知道如何将新类型定义添加到LLVM模块中。 我查阅了OCaml文档，但没有找到任何用于此目的的函数。我试过LLVM: Defining a new type via OCaml bindings的回答，但不起作用。我尝试过的示例代码： let c = Llvm.create_conte
浏览 15提问于2021-04-02得票数 2
4回答
我一直在阅读F#文章，它们使用单例变体来创建截然不同的不兼容类型。然而，在Ocaml中，我可以使用私有模块类型或抽象类型来创建不同的类型。在Ocaml中使用像F#或Haskell这样的单大小写变体是很常见的吗？
浏览 27提问于2021-04-26得票数 2
回答已采纳
2回答
我正在尝试用OCaml编写一个简单的塔防御游戏，作为一个学习项目，但我在如何构建代码方面遇到了问题。我一直试图避免使用类/对象来表示我的塔和敌人，主要是因为我还没有学习OCaml对象是如何工作的，但更主要的是因为我在阅读关于ocaml的文章时似乎对使用它们产生了反感。无论如何，我一直在尝试为每种类型的塔都有一个模块，这些模块都有相同的签名(TOWER)，
浏览 1提问于2016-03-09得票数 1
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
