2回答
我试过这样的方法： let lchars : char ref list = ref [];; 但是不起作用..。
浏览 14提问于2020-06-17得票数 0
回答已采纳
>，但随后抱怨我的类没有声明任何类型变量。因此，classA似乎需要有类型变量；然后，我显式地引入了一个类型变量。. > method f : 'a -> int end
这是可行的，但正如OCAML所示，该类现在是显式多态的，具有类型约束。类类型包含类型变量'a也令人困惑，但我仍然可以说是let x = new classA2，而无需为&#x
浏览 1提问于2012-06-24得票数 7
回答已采纳
2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。在OCaml中这是不可能的吗？
如果是，为什么？OCaml的类型系统似乎与Haskell并没有那么大的不同。
浏览 2提问于2011-05-14得票数 38
回答已采纳
2回答
初始化变量OCaml
、、、
如何在OCaml中实现int variable;的等价物？也就是说，如何简单地声明一个变量？根据OCaml手册，似乎只能在一个步骤中声明和初始化一个变量。如果是这样，为什么这会是我们想要的行为呢？
浏览 2提问于2018-09-02得票数 1
2回答
为什么Ocaml有可变的数组？据我所知，函数式编程是为了最小化副作用。可变(edit:)数组不是与这个想法相反吗？甚至连字符串在Ocaml中都是可变的，这在python中甚至不是这样的，或者OCaml不被认为是一种纯函数式语言？
浏览 22提问于2020-08-26得票数 1
回答已采纳
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的泛型类和函数？因为OCaml的函数是隐式参数多态的，而不是<e
浏览 3提问于2017-09-20得票数 3
回答已采纳
1回答
我刚刚开始学习OCaml，我对OCaml编译器如何在参数可能是多个类型的特定情况下确定参数的输入类型感到困惑。我假设我需要在这些实例中显式地声明类型？= else if x < 0 then -1抛出“错误:此表达式有类型浮点数，但预期表达式为int"类型</
浏览 1提问于2021-05-02得票数 2
回答已采纳
许多语言允许显式地给出泛型函数的类型参数。例如，如果我们在Java或TypeScript中有一个具有以下签名的函数：…而一个类型的MyType，我们可以编写f<MyType>()来调用f，并将类型参数T显式地给出为MyTypeOCaml有这个特性吗？
如果答案是否定的--这是因为OCaml的类型推断太强了，以至于永远不会出现类型应用程序有用的情况吗
浏览 31提问于2022-04-11得票数 0
回答已采纳
我现在开始用OCaml编写与graph相关的data structure和algorithms。
我愿意尝试在OCaml中以函数式的方式编写它们，即避免使用array、可变类型等。
浏览 0提问于2013-03-29得票数 3
回答已采纳
为什么F#和OCaml (可能还有其他语言)中的函数在默认情况下不是递归的？let rec foo ... = ...为什么需要显式的rec构造？
浏览 0提问于2009-05-23得票数 110
回答已采纳
在大多数具有参数/泛型类型的语言中，有一个(type)表达式可以用来表示“某物的集合”。例如，爪哇的Set<Integer>。没有“泛型集”类型。因此，相反，我们必须做这样的事情：let numbers : IntSet.empty
因此，我们已经<e
浏览 20提问于2022-05-10得票数 2
回答已采纳
我读了一些关于Standard中的值限制的文章，并尝试将这个示例翻译到OCaml，看看它会做什么。看起来，OCaml在SML由于值限制而拒绝程序的上下文中生成这些类型。stdIn:1.6-1.33 Error: explicit type variable cannot be generalized at its binding declaration: 'a in expression:
r :=
浏览 7提问于2016-07-05得票数 11
回答已采纳
是否可以显式地写下一个非多态类型，但是延迟了统一，比如下划线类型？- : ('_a, '_b) Hashtbl.t = <abstr>- : int = 5
# (5: '_a);;
浏览 0提问于2018-05-22得票数 2
回答已采纳
我正在寻找一个内置属性来指定类型是不可变的，而且我只找到了。
使用Reflector，我检查了它的使用位置，并且似乎唯一使用它的公共类是System.Drawing.Image.见鬼？它可以用于字符串、int或任何原始类型，但图像绝对不是不可变的，有很多方法可以更改其内部状态(例如使用Graphics或Bitmap.SetPixel方法)。因此，BCL中唯一显式声明为不可变的类是可变的！还是我漏掉了什么？
浏览 8提问于2009-11-06得票数 13
回答已采纳
根据真实世界的OCaml，"abc"的类型应该是string。但实际上在我的utop REPL中，它是bytes类型的。
我已经开了Core.Std。为什么会这样呢？( OCaml的版本是4.02.2；Core是112.24.01；utop是1.18)。
浏览 1提问于2015-07-19得票数 12
2回答
据我所知，本文讨论了OCaml目前的模块类型/签名系统的起源。作者建议对签名中的类型声明(允许单独编译)和显式类型声明(表示性)进行不透明的解释。试图将我自己的一些例子放在一起来演示OCaml模块签名符号试图解决的问题，我在两个文件中编写了以下代码：module type我承认，我不确定在module A : B中遇到的语法：，但它让我怀疑是否存在
浏览 1提问于2012-03-23得票数 8
回答已采纳
1回答
我试图为多态列表编写一个反向函数，如下所示。> acc in impl_rec []'_weak list -> '_weak list | [] -> acc in impl_rec [] xs
下面的代码可以推断多态类型'
浏览 5提问于2022-06-25得票数 2
回答已采纳
我写了下面的代码，从列表中随机选择n个项目，并将选择的项目放在一个新的列表中，代码如下 let l = ((List.length list其次，当我运行这个函数时，我得到的不是期望的列表，而是一个空的列表。
问题2:如何从for循环内部获取acc的值
浏览 0提问于2012-02-14得票数 5
回答已采纳
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的类型错误，它提到了一个类型变量'b，该变量没有出现在定义中的任何地方$ ocaml
浏览 20提问于2020-01-21得票数 5
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
