1回答
我正在读取这个OCaml文件，它包含以下内容： type z = Z of z 这看起来像z是无限递归的。它是如何有用的，我如何构造这样的类型？
浏览 8提问于2021-10-22得票数 2
1回答
在某个时候玩-rectypes的OCaml选项的时候，我只是迷路了。这个表达式几乎可以类型化：- : ('a -> 'b as 'a) -> 'b = <fun># (fun x -> x x)好的，我能理解，递归类型系统是一件相当困难的事情。但是首先，我真的想知道这
浏览 3提问于2018-05-24得票数 6
回答已采纳
在Haskell上下文中解释Y组合器时，通常会注意到，直进实现不会在Haskell中进行类型检查，因为它是递归类型的。例如，来自罗塞塔科德： -rectyp
浏览 0提问于2013-10-27得票数 22
回答已采纳
0回答
(我使用OCaml版本4.02.3)# type self = Self of self;;及其实例sval s : self = Self <cycle>我还向s应用了一个函数。OCaml如何像s一样处理循环数据？Self <cycle&g
浏览 5提问于2017-06-05得票数 5
回答已采纳
2回答
OCaml中的互递归类型
、、、、
在Haskell中，您可以执行以下操作：如何在OCaml中做同样的事情？___Error: Unbound type constructor bar
在OCaml中甚至可以定义相互递归的数据类型吗？比较数据定义以让表达式:相互<em
浏览 2提问于2015-04-06得票数 4
回答已采纳
这是肯定的，我可以做type 'a entry = Empty | Value of string * 'a * 'a entry;;，所以如果我想递归地定义一个类型，我只能走union路线？
浏览 1提问于2013-03-24得票数 1
回答已采纳
我想编写一个递归结构，就像我们在C中所做的那样，但是在Ocaml中。我希望我们包含一个布尔值和一个相同类型元素的递归副本列表。我如何在Ocaml中做到这一点？
浏览 0提问于2020-06-24得票数 0
1回答
我试图构造一个递归数据结构，但我遇到了一些问题。我目前正在实现一个类型系统，并且我正在尝试实现递归类型。因此，我希望使用OCaml的类型构造函数来具有实际的无限类型结构，这可以是递归的。这是我的尝试，以尽量减少问题，我可以与错误仍然发生。我希望能够在不启用-rectypes，的情况下完成这个，特别是因为recursive_ty的
浏览 1提问于2019-04-09得票数 1
回答已采纳
3回答
GHC发生检查阻止您构造无限类型。它的目的是防止代码中的常见错误，还是防止类型检查器无限循环，还是两者兼而有之？它识别了什么情况，恶意用户有可能欺骗它(就像在安全的Haskell上下文中一样)进入循环吗？如果类型系统是Turing-complete (是吗？)我不明白GHC怎么能保证计算会停止。
浏览 10提问于2012-09-19得票数 6
回答已采纳
1回答
目前，我正试图使用Z3为具有多态列表的非类型化语言编码一个简单的程序逻辑。type value = | String of string理想情况下，我希望使用内置的Z3类型在Z3List
浏览 2提问于2017-04-24得票数 2
回答已采纳
众所周知，OCaml拒绝定义像type t = t -> int这样的纯递归类型，Rosetta Code中的Y组合子示例也不起作用。然而，最近我发现像type t = A of (t -> int)这样的递归类型定义的小调整工作得很好。下面的代码是一些概念验证工作，用来检查哪个工作得好。(* OCaml version 4.08.0 *)
(* Precisely, ocaml
浏览 12提问于2020-05-03得票数 1
回答已采纳
我在使用OCaml实现Chris的纯功能数据结构中的一些数据结构时，遇到了这种类型的定义：我不认为它需要标记，因为它不是一个联合类型，所以我尝试删除这个标记，但是我得到了以下错误：Characters 5-33: ^^^^^^^^^^^^^^^^^
浏览 2提问于2015-10-03得票数 3
回答已采纳
在仔细检查了我的代码之后，问题归结为下面的代码片段main = print $ let a = 10 in我想这肯定与Haskell的懒惰有关，因为相同的代码在OCaml中终止。我不知道原因，因为在最初的代码中，两个a应该被看作是两个不同的变量。我不知道为什么命名它们与程序的语义有任何关系。
浏览 2提问于2014-11-12得票数 5
回答已采纳
2回答
我正在使用OCaml为Scheme的子集构建递归下降解析器。Epsilon type expr = 伪码 Tuple (parseS lr, parseL lr) match Epsilon
我的问题
浏览 4提问于2012-11-30得票数 6
回答已采纳
1回答
到目前为止，我的代码是这样的：let unequiv=[];;
matchunequiv) x unequiv)然而，当我运行它时，它给了我一个错误：
我的预期输出应该是这样的：[a，v，c，s，f，t]我的逻辑中有缺陷吗？
浏览 0提问于2021-03-15得票数 0
1回答
我对OCaml非常陌生(目前在uni上糟糕的课程)，我们最近研究了递归类型。我们被告知我们使用它来创建列表，但是在OCaml中已经有列表了，所以我不太明白什么时候应该使用其中的一个。
浏览 2提问于2022-03-06得票数 0
回答已采纳
我正在用Ocaml编写一个递归函数，它应该计算整数列表中的项数(是的，我知道有一个List.length函数，但我正在尝试自己做)。然而，Ocaml编译器/解释器迫使我一直使用alpha list。因此，当函数接受列表作为参数时，该列表的类型必须始终为alpha，这是错误的吗？谢谢
编辑:我不方便使用alpha列表的原因是，由于类型匹配的问题，我不能将alpha列表的头部
浏览 0提问于2010-04-12得票数 1
回答已采纳
6回答
我希望找到编程语言，这些语言允许您定义能够接受自己(即指向自己的指针)作为参数的函数。y达到零之前执行foo()整整11次，导致递归终止。我尝试在OCaml中定义类似的函数，如下所示：但是，由于类型错误，它失败了：
Error中可以定义这样的函数吗？我对OCaml特别感兴趣，因为我知道它有一个全局
浏览 6提问于2019-04-22得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
