给定一个类型 type 'a ty 和模块类型 module type TY = (sig type a val x : a ty end) 我可以定义 let toTY (type b) (x' : b ty) : (module TY) = type a = bend) 我想定义一个函数(尽管这不是类型检查) let ofTY没有达到预期的效果。 定义ofTY的适当方式是什么
浏览 14提问于2021-01-19得票数 4
回答已采纳
1回答
我来自Javascript背景&我试图了解我需要如何构造/构建一个使用Reason/Ocaml的模块系统的程序。作为一项练习，假设我想用OCaml/R伊编写这段javascript (将通过js_of_ocaml将其编译回js )
var TeaType = new GraphQLObjectType({我是否应该使用另一个模块来通过GraphQLObjectType在js中通过js_of_<em
浏览 5提问于2016-05-31得票数 1
回答已采纳
2回答
据我所知，本文讨论了OCaml目前的模块类型/签名系统的起源。作者建议对签名中的类型声明(允许单独编译)和显式类型声明(表示性)进行不透明的解释。试图将我自己的一些例子放在一起来演示OCaml模块签名符号试图解决的问题，我在两个文件中编写了以下代码：
在文件ordering.ml (或.mli -我尝试过两者)
浏览 1提问于2012-03-23得票数 8
回答已采纳
1回答
ocaml中的模块化编程
、、、
在处理ocaml项目时，我发现了一些我不太理解的东西。length: a' list -> intlength: a' array ->
浏览 0提问于2012-07-31得票数 5
回答已采纳
4回答
我正在试验OCaml (3.12.1)的模块语言，为模块定义函数器和签名等等，主要遵循的例子，我偶然发现我对函数器和模块签名如何工作的心理模型存在缺陷。我试图将我遇到的情况缩小到尽可能少的代码量，所以不要问我试图实现什么，这是一个完全人为的例子来演示有问题的OCaml特性。：- : int = 13
函数器<e
浏览 0提问于2012-03-20得票数 13
回答已采纳
我在一个大类型的pp: out_channel -> t -> unit上定义了一个大的漂亮的打印机t。现在，我需要将打印出来的内容转换为字符串或文本。有没有人知道是否有办法利用/使用函数pp，而不是从头开始编写函数to_string: t -> unit？
浏览 3提问于2016-10-24得票数 1
回答已采纳
假设我有这样一个类型： { }结构用于声明结构类型用于模块定义中的OCaml兼容性。
用于模块定义中的OCaml兼容性.
浏览 2提问于2021-12-30得票数 1
回答已采纳
2回答
在OCaml中，您可以嵌套签名：sig (* … *)我只是想知道是否有人在使用它的任何例子，因为我想不出有任何地方需要它我想它在函数器的返回签名中可能很有用，但我想不出任何具体的东西。
浏览 1提问于2010-12-07得票数 5
1回答
从Coq中提取的Ocaml代码包括(在某些情况下)定义如下的类型__和函数__：let __ = let rec f _ = Obj.repr f in Obj.reprf
文档说，在过去，这种类型被定义为unit (因此__可以被视为())，但是存在(很少)将__类型的值应用于__类型的值的情况。__使用了OCaml中未记录<e
浏览 1提问于2013-04-05得票数 6
我在做真实世界的Ocaml，用Ocaml 4.06，emacs/merlin。请参阅下面的代码片段。'b, 'c) Base__Map.tQ1)是否改变了Map.of_alist_exn的功能类型我认为函数类型已经改变了。，但是ocaml认为它是无效的。Q2)我应该给它什么作为比较器？
@一位苦
浏览 0提问于2018-02-13得票数 1
回答已采纳
在过去的一年左右，我一直在Haskell中玩耍，实际上我开始“理解”它，直到Monads，镜头，Type Families，……一大堆。我马上就要离开这个舒适区了，我要把工作转移到一个OCaml项目上。通过一点语法，我在寻找类似的更高级别的概念，例如functor。我读了Haskell中的代码和函数器的结构，但我似乎不能理解它们现在是否在OCaml和OCaml中是相似的概念。简而言之，Haskell中的</e
浏览 0提问于2013-05-03得票数 44
回答已采纳
struct end).NestedFunctor(struct end)据我所知，函子是一组输入模块和一组可能的输出模块之间的关系但这个例子混淆了我的理解。为什么函子结果与调用初始函子的嵌套函子所需的新模名相结合？
我是OCaml的新手。当我找到函子的时
浏览 0提问于2014-08-02得票数 6
回答已采纳
4回答
我一直在阅读F#文章，它们使用单例变体来创建截然不同的不兼容类型。然而，在Ocaml中，我可以使用私有模块类型或抽象类型来创建不同的类型。在Ocaml中使用像F#或Haskell这样的单大小写变体是很常见的吗？
浏览 27提问于2021-04-26得票数 2
回答已采纳
我是OCaml的初学者。我想知道如何在单独的文件中定义相互递归的数据类型。and t2 = C of float | C of t1
现在，我想在其他文件中定义这个t1和t2，以提高可读性(因为很多util函数在视觉上都是必需的我还知道，我可以像上面一样定义t1和t2，方法是创建.mli文件并隐藏实现细节(只需在.mli文件中写入t
浏览 3提问于2017-02-22得票数 8
回答已采纳
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编写一个简单的塔防御游戏，作为一个学习项目，但我在如何构建代码方面遇到了问题。我一直试图避免使用类/对象来表示我的塔和敌人，主要是因为我还没有学习OCaml对象是如何工作的，但更主要的是因为我在阅读关于ocaml的文章时似乎对使用它们产生了反感。无论如何，我一直在尝试为每种类型的塔都有一个模块，这些模块都有相同的签
浏览 1提问于2016-03-09得票数 1
1回答
Coq中的类型封装
、、、
是否有一种方法可以在Coq模块中定义类型，但封装构造函数？
我希望模块的客户端能够使用该类型，而不是构造该类型的成员，类似于使用抽象类型在OCaml中所做的工作。
浏览 3提问于2015-05-12得票数 3
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
