1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。例如，参见Shine 最近的伟大回答。
我的观点是，在Haskell中可以创建派生的几个类型类的类型
浏览 0提问于2016-06-13得票数 16
回答已采纳
我正在尝试创建一个有多个类型参数的类型。我知道如何用一个参数创建一个类型：但是我需要两个参数，这样我才能参数化'int‘部分。我该怎么做呢？
浏览 0提问于2009-12-01得票数 5
回答已采纳
1回答
我刚刚开始学习OCaml，我对OCaml编译器如何在参数可能是多个类型的特定情况下确定参数的输入类型感到困惑。我假设我需要在这些实例中显式地声明类型？= else if x < 0 then -1抛出“错误:此表达式有类型浮
浏览 1提问于2021-05-02得票数 2
回答已采纳
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml<e
浏览 3提问于2017-09-20得票数 3
回答已采纳
我不理解下面的OCaml代码，因为我不确定extract_ident函数是如何推断一元参数是string_lexer的，因为它没有显式地指定它，以及它是如何传递到提取的。我知道您可以在没有匹配构造的情况下拥有一个函数，模式匹配中的类型是最后一个参数，但是我不明白string_lexer参数是如何隐式地传递给提取的？
浏览 2提问于2013-12-09得票数 0
回答已采纳
OCaml能识别要使用的底层算法吗？比较运算符与算术运算符有何不同？其他FP语言也是这样吗？
浏览 5提问于2015-10-29得票数 8
回答已采纳
2回答
如何在OCaml中编写一个函数，其中一个或多个参数是可选的？let foo x y z = if(x+y > z) then true else false;;foo 3 3 10 -> false有没有什么OCaml特性可以做到这一点？
浏览 1提问于2014-05-17得票数 11
回答已采纳
在OCaml中，Hashtbl可以将任何东西转换为int。
但是OCaml是如何做到这一点的呢？
浏览 1提问于2013-03-22得票数 5
回答已采纳
3回答
说
将'a -> 'b -> 'c调用约定与'a * 'b -> 'c进行比较时。在使用SML/NJ时，我习惯了输入和输出都使用元组类型：('a * 'b) -> ('c * 'd)，因此使用元组来表示多个输入似乎与我表示多个输出的方式是对称的。为什么推荐对元组<
浏览 0提问于2012-05-19得票数 12
回答已采纳
考虑一下像zipWith这样的前奏函数。还有其他一些函数，如zipWith3 . zipWith7，它们仅根据参数的数量不同。在其他语言中也有许多类似的例子(scala，ocaml)。创建具有特定数量的元素的函数的原因是什么？为什么不使用通用版本呢？可能从应用的参数数导出特定的zipWith。
浏览 4提问于2015-06-10得票数 4
回答已采纳
3回答
我已经有一段时间没有编写OCaml代码了，我遇到了这个问题，这个问题听起来很简单，但我在解决这个问题时遇到了心理障碍：
编写一个函数，该函数接受一个函数f，其变量数为返回布尔值的变量数(即f类型为'a-> 'b -> 'c -> ... -> bool)，并返回一个函数g，该函数g表示f的否定(即所有有效参数集的(f x1 x2 .. xn) == not (g x1 x2 .. xn) )。它受到以下代码块的启发，
浏览 3提问于2015-06-22得票数 5
回答已采纳
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的类型
浏览 20提问于2020-01-21得票数 5
回答已采纳
3回答
在研究F#和OCaml之间的差异时，我发现他们倾向于关注和 。然后我发现了，它将类型和类型推断列为不同的特征。由于特写文章说OCaml和F#都使用类型推断，我认为这是一个标准算法，即一个不允许变化的算法，这两个特徵是如何联系的？是否达马斯-米尔纳是构建两个类型推理系统的基础，但它们各自都基于类型来修改达马斯-米尔纳？
我还检查了F#源代码中的单词
浏览 0提问于2012-09-10得票数 8
回答已采纳
2回答
根据Rosetta代码中的一节，OCaml元组(由函数返回时)作为一个单元被保存或收集。元组空间安全性
OCaml程序员应该知道，当一个元组返回多个值时，终结不会独立地处理每个值，而是作为一个整体处理元组。因此，只有当所有的值都无法到达时，所有的值才会最终确定。我想知道在OCaml 4.05中这是否仍然是正确的，以及是否有任何替代方法来获得不具有此属性的产品类型的相同功能。
浏览 1提问于2017-10-28得票数 1
回答已采纳
为了达到最大的速度，能做到这一点不是很重要吗？例如，Clojure有pmap，它使用多个核心。Harrop博士写道(2011年1月9日)：
添加到语言中的新特性，如OCaml 3.12中的一流模块，远不及多核功能所具有的价值。
浏览 8提问于2013-01-26得票数 4
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
