我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCa
浏览 3提问于2017-09-20得票数 3
回答已采纳
1回答
假设我想在OCaml中建模一个简单的表达式类型：| `Int of int| `IntAdd of expr * expr是否可以将expr中的expr * expr限制为expr本身的特定构造函数(例如，我希望IntExpr只允许'Int's)？我能用OCaml的类型</em
浏览 2提问于2018-11-10得票数 2
回答已采纳
3回答
我在理解不同类型的多态性时遇到了问题，特别是关于OCaml。我知道多态性允许在OCaml中使用多种类型，表示为'a‘，但我不理解不同类型的多态性是什么。如果有人能用相对低级的语言给我一个解释，那就太棒了！即席、参数、包含/子类型
浏览 7提问于2015-10-20得票数 4
我正在尝试用OCaml编写一个函数来从任何给定的列表中删除连续的重复项。我相信我已经找到了正确的递归函数，但是当我尝试使用int list或string list测试它时，它告诉我我的函数需要'a list类型。任何帮助都将不胜感激。下面是我的代码： let compress l =
浏览 18提问于2020-09-28得票数 0
许多语言允许显式地给出泛型函数的类型参数。例如，如果我们在Java或TypeScript中有一个具有以下签名的函数：…而一个类型的MyType，我们可以编写f<MyType>()来调用f，并将类型参数T显式地给出为MyTypeOCaml有这个特性吗？
如果答案是否定的--这是因为OCaml的类型推断太强了，以至于
浏览 31提问于2022-04-11得票数 0
回答已采纳
OCaml能识别要使用的底层算法吗？比较运算符与算术运算符有何不同？其他FP语言也是这样吗？
浏览 5提问于2015-10-29得票数 8
回答已采纳
3回答
我对OCaml非常陌生。你能给我举一个新手能理解的最简单的OCaml多态性的例子吗？我了解Java、C#和C++，对函数式语言也有一定的了解。
浏览 3提问于2013-01-21得票数 0
1回答
我有一个处理大量计算的大型let块，我试图将它分解成较小的块，将其分解为函数。我需要将一个在开放对象上操作的函数传递给这些组件，并遇到以下简化代码中最好表达的烦恼： constraint 'a = < bar: string option;correctly inferred type of < bar : 'a; .. > -> < bar : 'a; qux : &#
浏览 1提问于2016-05-11得票数 3
回答已采纳
2回答
我在试着自己去理解，OCaml语言有哪种形式的多态。我得到了一个例子这个示例不是等同于C++模板函数吗如果是这样，那么我的问题是: OCaml中是否还有其他形式的多态性？在命令式语言的世界中，这个概念被称为“通用算法”，而不是“多态性”。
浏览 0提问于2013-01-21得票数 3
回答已采纳
我读了一些关于Standard中的值限制的文章，并尝试将这个示例翻译到OCaml，看看它会做什么。看起来，OCaml在SML由于值限制而拒绝程序的上下文中生成这些类型。我还在其他上下文中看到过它们，比如尚未“专门化”到特定类型的空哈希表。X1 option ref * [int ty] option r := SOME 5
相比之下，在OCaml中，虚拟<e
浏览 7提问于2016-07-05得票数 11
回答已采纳
3回答
OCaml给function `A -> 1 | _ -> 0类型[> `A] -> int，但为什么不是[> ] -> int？这是我的推理：
function `B -> 0的类型为[<`B] -> int。添加一个`A -> 0分支使其成为function `A -> 1 | `B -> 0，从而将其放松到[<`A|`B] -> int中。函数可以接受的参数<em
浏览 13提问于2012-05-26得票数 6
回答已采纳
有哪些方法可以完成Haskell的类型类在OCaml中所做的事情？基本上，我想在不写太多代码的情况下编写一个多态函数。多态的典型方法是提供一个额外的参数，告诉函数它当前使用的是什么类型。例如，假设我想对一个int列表进行排序，我必须向函数传递一个额外的比较器。comparison = Lesser | Equal | Great
浏览 6提问于2013-02-18得票数 51
回答已采纳
’匹配)，因为f的两种不同用法。结果表明，f的推断类型在Haskell中不是多态的。我有两个比较点: OCaml和“教科书”辛德雷-米尔纳。两者都认为f应该是多态的。因此，看起来OCaml很好地为f分配了一个多态类型。
我们可以通过使用"let“( Haskell和OCam
浏览 1提问于2019-01-05得票数 6
回答已采纳
是否可以显式地写下一个非多态类型，但是延迟了统一，比如下划线类型？- : ('_a, '_b) Hashtbl.t = <abstr>- : int = 5
# (5: '_a);;
浏览 0提问于2018-05-22得票数 2
回答已采纳
1回答
在print_int中有一系列的函数，比如print_endline和Printf。我不能做这样的事print n;; (* And I haven't to change `print` in case type of `n` changed *)
这是多态打印相反，我们有由程序员显式定义的类C类型。所以我认为OCaml在编译过程中丢失了类型信息，并且在运行时没有这些信息，对吗？这也是我们需要
浏览 0提问于2011-09-16得票数 12
回答已采纳
1回答
OCaml有多态性吗？
、、、
既然OCaml对整数和双精度数有不同的乘法运算，那么它怎么可能是面向对象的呢？这不是意味着OCaml没有多态性吗？
浏览 1提问于2013-01-20得票数 5
回答已采纳
OCaml中的定义： Leaf type 'a comparisonfn= 'a -> 'a -> int在多态BST中使用此方法，其中ptree是对树中使用的
浏览 1提问于2020-03-03得票数 1
回答已采纳
2回答
变体还是多态变体？
、、、、
我注意到，在我认识的OCaml程序员中，有些人总是使用多态变体(没有声明的变体，以背引号作为前缀)，而另一些程序员则从不使用多态变体，而更喜欢在类型中声明的变体。除了性能原因(多态变体目前编译效率低于简单变体)外，专家OCaml开发人员如何在它们之间进行选择？
浏览 3提问于2012-02-20得票数 42
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
