1回答
我在OCaml中使用函数器时遇到了问题。这些节点将具有不同的类型。将是一个包含不同类型的列表，但是每个任务在该列表中都有不同的类型。因为我不能使用带函数器的module Game : (TASK with with type u := int list)，所以我创建了一个模块类型INFO_CARRIER。对于每个不同类型的TASK模块，我希望有一个不同类型
浏览 17提问于2020-03-23得票数 0
回答已采纳
1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。例如，参见Shine 最近的伟大回答。
我的观点是，在Haskell中可以创建派生的几个类型类的类型
浏览 0提问于2016-06-13得票数 16
回答已采纳
背景:我试图像论文中描述的那样创建 --但试图查看OCaml的多态变体是否会导致一个干净的ReasonML实现。
这里的代码是用ReasonML语法编写的，但是这个问题同样适用于OCaml。我从为Val和Add定义两个模块开始，这两个模块都实现了fmap --使它们成为haskel风格的函子。但是，作为一个不想编写锅炉板代码的程序员，我的
浏览 1提问于2019-04-24得票数 3
我目前正在使用模块，看看它们可以以类似于Haskell类型类的方式使用。目前，我正在尝试使用函子类型类： sig val fmap : ('a -> 'b) -> ('a f ->我知道为什么在这种情况下会导致这个错误，但我不知道如何绕过它(因为f类型是参数化的)。有办法解决这个问题吗？ou
浏览 5提问于2014-06-24得票数 5
回答已采纳
1回答
我试图在OCaml中扩展函子。例如，假设下面的函子X我正在尝试创建一个类似的函子Y，它也接受A : ModuleA，但返回I的扩展版本。我正在尝试用更多的函数扩展来自X的结果签名。这在OCaml中是可能的吗？我做错了什么？编辑：
我想我<em
浏览 0提问于2018-02-27得票数 3
回答已采纳
我读了一些关于Standard中的值限制的文章，并尝试将这个示例翻译到OCaml，看看它会做什么。看起来，OCaml在SML由于值限制而拒绝程序的上下文中生成这些类型。我还在其他上下文中看到过它们，比如尚未“专门化”到特定类型的空哈希表。X1 option ref * [int ty] option r := SOME 5
相比之下，在OCaml中，虚拟类型变量</e
浏览 7提问于2016-07-05得票数 11
回答已采纳
4回答
签名/函子模式中的非抽象类型冗余
、、、、
使用签名/函子模式，我引用了Map.S / Map.Make在OCaml标准库中的样式。当您想在某种类型上参数化一大块代码而不使其完全多态时，这种模式是非常成功的。基本上，您通过提供签名(通常称为S)和构造函数(Make)来引入参数化模块。
首先，签名和函子都必须在.mli文件中声明。其次，签名必须在.ml文件中完全重复(这里是否有任何与.mli文件不同<
浏览 7提问于2015-03-03得票数 0
2回答
编辑:我用一个使用组和环的更具体的示例替换了模块A和B类型的抽象示例。module Extended_Z = F(Z)
不幸的是，要将F应用到Z，Ocaml首先将Z的类型限制为Group，然后应用F。在这里应该是这样<em
浏览 1提问于2016-06-29得票数 6
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的
浏览 3提问于2017-09-20得票数 3
回答已采纳
1回答
多态变异-> GADT？
、、、
我正在编写一个Prolog系统，并且使用多态变体来表示Prolog术语。
特别是，我使用多态变体(而不是常规变量)，以便在确保OCaml对子类型的匹配进行出色的穷尽性检查的同时进行子类型。我曾多次阅读关于GADT(在discuss.ocaml.org和realworldocaml.org上)的文章。在我看来，GADT似乎提供了类似的特性，但内存占用却更小:
浏览 3提问于2020-11-11得票数 3
回答已采纳
3回答
我试图找出如何根据参数类型的模块编写函数，但在任何地方都找不到类似的东西。我试图尽可能地减少这个问题，最后得到了这个虚拟的例子。正确的语法是什么？
浏览 3提问于2016-02-03得票数 11
回答已采纳
地图类型为：(a -> b) -> a->b函子f => (a+b) -> f a -> f b我在维基百科上看到，地图是多态态，而fmap是多型态射，但这并不能为我澄清任何事情所以我的问题是:映射函数是函子吗？
浏览 4提问于2017-10-07得票数 1
回答已采纳
4回答
在OCaml中扩展现有类型
、、、、
最近，我开始认为我希望能够扩展现有的类型(无论是内置的-还是我自己的类型)，例如： And of bexp * bexp| Xorof bexp * bexp现在，假设我想向该类型添加一个Nop变量，但仅用于新类型-类似于继承。嘿，这些应该是代数数据类型，对吧？那么为什么不这样做呢：
浏览 0提问于2009-11-17得票数 20
回答已采纳
1回答
阅读对这个博客帖子的评论，我意识到我不太了解Haskell、OCaml和Standard等语言之间的一些真正有趣的功能机制。我想要的不是语法的高级概述，而是这三种事物的一般概念。
浏览 0提问于2016-08-01得票数 3
回答已采纳
1回答
简单组件中的类型变量
、、、、
假设我有这个简单的组件 | NoOp;
let component = ReasonReact.reducerComponent("TestComponent(类型变量在这里是无用的，但是假设在initialState中需要它。试着使样本尽可能简单。)
浏览 0提问于2018-11-09得票数 2
回答已采纳
1回答
自从我在爱德华·克米特( Edward )的旧分类--临时演员套装中看到之后，我就一直在脑海中想着这个问题：type f :~> g = forall a. f a -> g a
在我们的上下文中，一个自然转换将是一个多态函数，它与两个具有类型签名(函子f，函
浏览 3提问于2014-02-18得票数 8
在大多数具有参数/泛型类型的语言中，有一个(type)表达式可以用来表示“某物的集合”。例如，爪哇的Set<Integer>。没有“泛型集”类型。相反，有一个Set模块，它包含一个名为Make的“函子”，它
浏览 20提问于2022-05-10得票数 2
回答已采纳
Functor(struct end).NestedFunctor(struct end)据我所知，函子是一组输入模块和一组可能的输出模块之间的关系但这个例子混淆了我的理解。为什么函子结果与调用初始函子的嵌套函子所需的新模名相结合？
我
浏览 0提问于2014-08-02得票数 6
回答已采纳
2回答
我在试着自己去理解，OCaml语言有哪种形式的多态。我得到了一个例子这个示例不是等同于C++模板函数吗如果是这样，那么我的问题是: OCaml中是否还有其他形式的多态性？在命令式语言的世界中，这个概念被称为“通用算法”，而不是“多态性”。
浏览 0提问于2013-01-21得票数 3
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
