我正在尝试编写一个divide函数(作为合并排序的一部分)，该函数接受一个列表并返回两个长度大致相同的列表。我想使用List.length()函数来完成此操作。我的代码是： let rec transRec l1 l2 = match l1, l2 with | l1, h :: tail -> if List.lengthlist
but an exp
浏览 8提问于2019-12-05得票数 1
回答已采纳
我正在用Ocaml编写一个递归函数，它应该计算整数列表中的项数(是的，我知道有一个List.length函数，但我正在尝试自己做)。然而，Ocaml编译器/解释器迫使我一直使用alpha list。因此，当函数接受列表作为参数时，该列表的类型必须始终为alpha，这是错误的吗？谢谢
编辑:我不方便使用alpha列表的原
浏览 0提问于2010-04-12得票数 1
回答已采纳
2回答
在“真实世界”( of Real World OCaml )中，它基本上是这样写的：letapply_to_tuple_2 f (first, second) = f ~second ~first这允许apply_to_tuple divide (3, 4)工作，但不允许使用apply_to_t
浏览 4提问于2015-11-03得票数 2
回答已采纳
1回答
当我试图以交互方式运行我的main函数时，我得到了一个“格式说明符与参数类型不匹配”的错误。我的代码是： (setq divide (/ grade 10)) ((= divide9) "A")
((= di
浏览 0提问于2013-02-12得票数 1
回答已采纳
我定义了一个类型"word“作为一个字符列表。我正在尝试编写一个递归函数"divide_word“，它以一个"word”作为参数，并返回所有可能的"word“组合(前缀、single_letter、后缀)的三重奏列表。OCAML中的执行示例：
assert( divide_word ['c';'o';'d&#x
浏览 0提问于2019-04-11得票数 1
回答已采纳
2回答
在ocaml中，假设我们有：let x = [A 5; B "y"]ArrayList<Object> x = new ArrayList<Object>();x.add("y");
在数组列表迭代中在内部，o
浏览 1提问于2013-01-31得票数 3
回答已采纳
1回答
n < 0 then My([], 2) in My(3::xs, y)
此表达式具有a#1列表类型，但预期表达式为int列表类型。类型a#1与int类型不兼容。我可以通过向mytype中添加一个类型
浏览 4提问于2015-04-14得票数 2
回答已采纳
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的
浏览 3提问于2017-09-20得票数 3
回答已采纳
3回答
我知道，当使用ocaml模式匹配时，可以使用h::t，当使用这个时，h引用列表中的第一个元素，t引用列表的其余元素。是否可以使用相同类型的匹配来获取列表中的最后一个元素。因此，t将引用最后一个元素，h将引用列表的其余部分。这样做有用的一个代码示例是
let rec remove x y = match y wi
浏览 3提问于2015-03-25得票数 7
回答已采纳
1回答
我在Haskell中有两个相同的代码，它们都必须在给定的位置(参数n)拆分一个列表，但是当一个在工作时，另一个没有工作，为什么会发生这种情况呢？)上面的代码工作得很好，但是下面的代码不工作。| otherwise = ([],h:t)不能将<：>的第二个参数中的调用<em
浏览 0提问于2012-12-13得票数 2
回答已采纳
1回答
我正在尝试用OCaml编写一个OCaml求值器。基本上我需要模仿OCaml的类型检查器。我有下面的代码，它应该返回一个类型，但是编译器报告类型不匹配。cp, ce) fp -> (typecheck ce (matchtype tenv cp etype))) 在左边的文件夹中错误是fold left函数
浏览 0提问于2013-05-02得票数 0
回答已采纳
2回答
在OCaml中连接字符串
、、、
我正在编写一个递归OCaml函数，它将字符串列表中的字符串用分隔符连接起来，而不是在最后一项上放置分隔符，但是我遇到了一些问题。我知道有一个string.concat函数，但我不喜欢使用它，以便了解OCaml如何在幕后执行这些操作。end我使用模式匹配来匹配字符串列表l，并涵盖三种情况:如果字符串列表为空，则案例1不返回任何内容；如果列表不
浏览 1提问于2018-09-11得票数 2
我正在尝试使用，它要求在它称为"atd文件“中定义要转换为JSON的OCaml对象的类型。: ('a, 'b) bucketlist array; initial_size: int; 编译器会弹出一个：我不知道如何定
浏览 4提问于2015-03-11得票数 1
回答已采纳
我有一个定义为type abc = bool->int;;的类型，它解释了从bool到int的简单映射。我的问题是，我如何使用这个type abctype Color = Red|Green|Blue|Dark of Color|Light of Color;;
然后我就可以使用像DarkRed;;拥有type Color这样的东西了。但是现在我似乎不能使用这个新的type abc了。
浏览 5提问于2017-01-22得票数 0
回答已采纳
2回答
我是Ocaml的新手，我有一个关于Ocaml模式匹配的问题。如果我有以下类型定义：我如何匹配一个术语，即Function (t -> t)？到目前为止，我唯一能做的就是匹配Function f。但是，有什么方法可以使这个论点与函数相匹配呢？理想情况下，有这样的东西是很
浏览 2提问于2020-02-09得票数 0
回答已采纳
1回答
我正在用OCaml编写一种形式的转换，它接受一个函数，也接受一个要转换的列表。我知道我的模式匹配在类型检查方面出了问题，因为它不会编译，并声称类型不匹配，但我不确定我的情况到底出了什么问题。当我尝试编译时，我收到一个带有下划线的函数名称的实际声明错误。-> []
| h::tl -> if f h = Some h
浏览 0提问于2017-02-19得票数 0
使用递归和列表模式匹配来定义具有以下类型的函数exists : exists：(‘a -> bool) ->’a list -> bool该函数应具有以下行为:对于任何谓词(带布尔范围的函数)p和列表l，正确类型的调用(exists P l)应为true当存在l的某个元素x且p x为true时。我是OCaml的新手，不知道从哪里
浏览 0提问于2015-10-13得票数 0
Nil -> None | Cons(x, xs) -> last xs
显然，此模式与mylist - Nil和Cons的构造函数匹配我的问题是如何实现这样的东西。在找到与Cons匹配的值之前，不能只是将值输入到l，所以我假设OCaml编译器实现了类似于“反向构造函数”的东西，该构造函数
浏览 5提问于2022-12-01得票数 2
在macOS高山上使用ocaml-top 1.1.5和ocaml 4.02.3：
当编译一个文件时，当函数触发(模式匹配)警告8时，警告显示为红色(在我通常使用的Windows ocaml-top版本中，它将是黄色的)；函数本身似乎是编译的，并给出了一个类型，但文件中位于它下面的函数无法编译(就好像警告是实际的编译错误一样)。我失踪的</
浏览 1提问于2018-05-28得票数 0
编写任何类型为('a -> 'b) list -> 'a -> 'b list的Ocaml函数
# let int x = x+1;;所以我传递一个函数，一个<em
浏览 3提问于2012-08-15得票数 2
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
