我正在尝试做一个简单的、分层的参数多态类型，当我尝试应用它时，会抛出一个错误的类型错误。时会出现以下错误：data: This expression has type data but an expression was expected of type 'a H.value
有人能建议我如何将这两种类型绑定在一起吗
浏览 8提问于2020-05-23得票数 0
回答已采纳
3回答
我在理解不同类型的多态性时遇到了问题，特别是关于OCaml。我知道多态性允许在OCaml中使用多种类型，表示为'a‘，但我不理解不同类型的多态性是什么。即席、参数、包含/子类型
浏览 7提问于2015-10-20得票数 4
类在OCaml中也可以有类型参数，参见中的“类参数和多态性”。OCaml似乎
浏览 3提问于2017-09-20得票数 3
回答已采纳
看起来我不能给ref赋一个抽象值，我不确定该怎么做。let largest = ref zero_big_int;;let rec big i = (add_int_big_int i zero_big_int) print_endline (string_of_big_int num);
(if(eq_big_int (add_int_big_int (-1) num) zero_big_int)then(depth)els
浏览 0提问于2013-02-18得票数 4
回答已采纳
我刚刚读到了，以及如何将它用于可扩展记录和多态变体。
然而，Ocaml对多态变体使用子类型。为什么？它是否比行多态性更强大？
浏览 2提问于2013-05-27得票数 6
回答已采纳
1回答
type 'a item = { name:string; quantity:'a };;type 'a item = { name:string; quantity:'a; price:'b };;
但是，我得到了一个无界值b的错误那么，对于多个多态变量，记录类型应该是什么类型呢？
浏览 3提问于2015-05-18得票数 3
回答已采纳
考虑在模式中引入的变量，例如本Haskell示例中的f：此代码导致类型错误(“无法将预期类型‘Bool’与实际类型‘Char结果表明，f的推断类型在Haskell中不是多态的。我有两个比较点: OCaml和“教科书”辛德雷-米尔纳。两者都认为f应该是多态的。在OCaml中，
浏览 1提问于2019-01-05得票数 6
回答已采纳
bool} as 'a;}; type t('a) = {.. c: int} as 'a;}; type b = int end
我如何定义模块类型A t('a)，使其是抽象的，但与实现中的开放<
浏览 17提问于2021-05-22得票数 0
回答已采纳
我读了一些关于Standard中的值限制的文章，并尝试将这个示例翻译到OCaml，看看它会做什么。看起来，OCaml在SML由于值限制而拒绝程序的上下文中生成这些类型。我还在其他上下文中看到过它们，比如尚未“专门化”到特定类型的空哈希表。X1 option ref * [int ty] option r := SOME 5
相比之下，在OCaml中，虚拟类型变量是可访问的，并且与它能做到的第一件事是统一的( 1)符合标准的SML实现可以选择使上述
浏览 7提问于2016-07-05得票数 11
回答已采纳
1回答
据我理解：
type 'a myArray = { map : 'b.('a -> 'b) -> 'b myArray; }因此，在秩-1多态性中是否存在嵌套类型量词，例如这种情况？而类型系统仍然是可预测的，即完全类型推理
浏览 5提问于2020-10-30得票数 1
2回答
变体还是多态变体？
、、、、
我注意到，在我认识的OCaml程序员中，有些人总是使用多态变体(没有声明的变体，以背引号作为前缀)，而另一些程序员则从不使用多态变体，而更喜欢在类型中声明的变体。除了性能原因(多态变体目前编译效率低于简单变体)外，专家OCaml开发人员如何在它们之间进行选择？
浏览 3提问于2012-02-20得票数 42
回答已采纳
2回答
我在试着自己去理解，OCaml语言有哪种形式的多态。我得到了一个例子这个示例不是等同于C++模板函数吗如果是这样，那么我的问题是: OCaml中是否还有其他形式的多态性？在命令式语言的世界中，这个概念被称为“通用算法”，而不是“多态性”。
浏览 0提问于2013-01-21得票数 3
回答已采纳
1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。我的观点是，在Haskell中可以创建派生的几个类型类的类型。(允许Person类型的值支持相等测试、可打印，并在给定的示例中可读)。我的问题是:我们可以简单地在OCaml中做同样的事情吗？简单地说，我指的是语言的基本语法，没
浏览 0提问于2016-06-13得票数 16
回答已采纳
1回答
c++中的变体、存在多态性
、、、、
我正在进行关于类型系统的研究。在这项工作中，我将研究变体、结构子类型、通用多态性和存在多态性在流行语言中的用法。功能语言，如heskell，ocaml，提供了这样的功能。这意味着C++是如何实现的
variantsstructural subtypinguniversal polymorphismexistential多态性.
浏览 2提问于2012-03-23得票数 1
回答已采纳
1回答
F#中的间接多态性
、、、、
OCaml的印地语-Milner类型系统不允许非谓词多态(àla System-F)，除非通过对记录类型的最近扩展。这同样适用于F#。然而，有时需要将使用非谓词多态(例如Coq)编写的程序翻译成这些语言。Coq萃取器对OCaml的解决方案是使用Obj.magic，这是一种通用的不安全铸造。这起作用是因为
应用于原程序的更复杂的类型</em
浏览 3提问于2013-03-28得票数 12
是否可以显式地写下一个非多态类型，但是延迟了统一，比如下划线类型？- : ('_a, '_b) Hashtbl.t = <abstr>- : int = 5Error: The type variable n
浏览 0提问于2018-05-22得票数 2
回答已采纳
1回答
多态变异-> GADT？
、、、
我正在编写一个Prolog系统，并且使用多态变体来表示Prolog术语。
特别是，我使用多态变体(而不是常规变量)，以便在确保OCaml对子类型的匹配进行出色的穷尽性检查的同时进行子类型。我曾多次阅读关于GADT(在discuss.ocaml.org和realworldocaml.org上)的文章。在我看来，GADT似乎提供了类似的特性，但内存占用却更小:多态变体在有多个参数的情况下，需要一个常规变量不需要的额外指针。到目前为止，我还不能成功地使用GADT，所以我的问题
浏览 3提问于2020-11-11得票数 3
回答已采纳
3回答
OCaml中的弱多态性
、、、
我对OCaml中的弱多态性感到有点困惑。cache with | None -> cache := Some x; x编译器可以推断多态类型'a -> 'a，并在本地使用cachecache with | None -> cache := Some x; x)编译器推断出弱多态类型'_a -&g
浏览 3提问于2013-07-29得票数 7
回答已采纳
我一直在尝试将一个代码库从OCaml 4.04迁移到OCaml 4.10。我遇到了一个反复出现的错误，当我比较不是整数的值时，我得到了一个类型错误：90 | if (total < current是我做错了什么，还是OCaml中的比较不再是多态的？
浏览 0提问于2021-02-27得票数 2
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
