众所周知，OCaml拒绝定义像type t = t -> int这样的纯递归类型，Rosetta Code中的Y组合子示例也不起作用。然而，最近我发现像type t = A of (t -> int)这样的递归类型定义的小调整工作得很好。下面的代码是一些概念验证工作，用来检查哪个工作得好。，如list或tree类型，但它们都有叶实例，如NIL或LEAF
浏览 12提问于2020-05-03得票数 1
回答已采纳
1回答
分析函数的递归步骤有困难
、、、
我目前正在学习OCaml，准备参加函数式编程考试，在本练习中，我在尝试遵循这个递归函数的步骤时遇到了一些困难。任务是在int N-ary树中找到最昂贵的叶子(叶子成本由指向叶子的路径上的整数之和给出)。以下是类型定义： type 'a ntree = Ntree of 'a * 'a ntree list 这是练习的辅助函数 let rec maxp
浏览 10提问于2021-09-10得票数 2
回答已采纳
我想编写一个递归结构，就像我们在C中所做的那样，但是在Ocaml中。我希望我们包含一个布尔值和一个相同类型元素的递归副本列表。我如何在Ocaml中做到这一点？
浏览 0提问于2020-06-24得票数 0
2回答
OCaml中的互递归类型
、、、、
在Haskell中，您可以执行以下操作：如何在OCaml中做同样的事情？___Error: Unbound type constructor bar
在OCaml中甚至可以定义相互递归的数据类型吗？比较数据定义以让
浏览 2提问于2015-04-06得票数 4
回答已采纳
2回答
在OCaml中连接字符串
、、、
我正在编写一个递归OCaml函数，它将字符串列表中的字符串用分隔符连接起来，而不是在最后一项上放置分隔符，但是我遇到了一些问题。我知道有一个string.concat函数，但我不喜欢使用它，以便了解OCaml如何在幕后执行这些操作。end我使用模式匹配来匹配字符串列表l，并涵盖三种情况:如果字符串列表为空，则案例1不返回任何内容；如果列表不包含尾部，则案例2仅返回头部。Tail three执行连接，同时在连接函数上递归，以连接列
浏览 1提问于2018-09-11得票数 2
1回答
在两周内，我一直在用OCaml做一些简单的程序。我注意到，当我们使用递归结构T时，我们希望在T上有信息I，然后根据信息I，我们有两种类型的递归函数。
为了简单起见，我们假设T是一棵二叉树。更清楚的是，假设我们想要的信息I只是“二叉树的节点数”。这个信息的好处是，当我们到达所有的叶子时，我们就得到了I，所以我们从根开始到右边，递归地扩展到左和右的子树，最后的
浏览 0提问于2018-10-06得票数 4
回答已采纳
我正在用Ocaml编写一个递归函数，它应该计算整数列表中的项数(是的，我知道有一个List.length函数，但我正在尝试自己做)。然而，Ocaml编译器/解释器迫使我一直使用alpha list。因此，当函数接受列表作为参数时，该列表的类型必须始终为alpha，这是错误的吗？谢谢
编辑:我不方便使用alpha列表的原因是，由于类型匹配的问题，我不能将alpha列表<em
浏览 0提问于2010-04-12得票数 1
回答已采纳
OCaml能识别要使用的底层算法吗？比较运算符与算术运算符有何不同？其他FP语言也是这样吗？
浏览 5提问于2015-10-29得票数 8
回答已采纳
我在使用OCaml实现Chris的纯功能数据结构中的一些数据结构时，遇到了这种类型的定义：我不认为它需要标记，因为它不是一个联合类型，所以我尝试删除这个标记，但是我得到了以下错误：Characters 5-33: ^^^^^^^^^^^^^^^^^
浏览 2提问于2015-10-03得票数 3
回答已采纳
2回答
给定以下简单的Tree Leaf deriving (Eq, Show)
是否有一种方法可以使用递归返回无限数量的节点(只有Tree的Nodes，没有叶子)？到目前为止，我只知道如何返回数据类型，如Boolean和Integer。如何开始返回Tree？
浏览 5提问于2014-11-08得票数 1
回答已采纳
6回答
我希望找到编程语言，这些语言允许您定义能够接受自己(即指向自己的指针)作为参数的函数。y达到零之前执行foo()整整11次，导致递归终止。我尝试在OCaml中定义类似的函数，如下所示：但是，由于类型错误，它失败了：
Error中可以定义这样的函数吗？我对OCaml特别感兴趣，因为
浏览 6提问于2019-04-22得票数 6
回答已采纳
我是OCaml初学者，在MacOS上使用OCaml 4.12.0。，结果是： intval f : float -> f
浏览 12提问于2021-05-19得票数 0
回答已采纳
在Abelson/Sussman的经典文本“计算机程序的结构和解释”中，在关于树递归和Fibonacci序列的第1.2.2节中，它们显示了这样的图像：
然后他们写道我了解到他们提出了一个关于树递归的观点，以及Fibonacci树递归的这个经典案例是如何低效的
浏览 5提问于2019-10-11得票数 7
这是肯定的，我可以做type 'a entry = Empty | Value of string * 'a * 'a entry;;，所以如果我想递归地定义一个类型，我只能走union路线？
浏览 1提问于2013-03-24得票数 1
回答已采纳
如果我在Ocaml函数中有一个或多个递归函数，我如何在不退出main函数的情况下调用它们，并将它们的值作为main函数的返回值？我是Ocaml的新手，所以我会试着更好地解释我自己。我如何在function中调用它们来告诉它“嘿，你看到这个递归函数了吗?现在调用它并获取它的值。”因为我的问题是Ocaml作为我的函数的</e
浏览 3提问于2020-06-23得票数 0
回答已采纳
我希望在不同的任意records上进行遍历，并对它们进行分析，然后将它们转换为Hashtbl。不管它是什么record structure，代码都会自动完成它。例如，我希望将各种记录(可能是不同的记录类型)转换为哈希表。比如说，作为一个记录 name = "john";}
然后，如果我运行我的代码，那么这个记录将自动转换为一个Hashble，其中包含两个{key，value}对，{请注意，我希望我的代码能够检测到50是一个int，因此它将使用str
浏览 3提问于2013-06-20得票数 0
回答已采纳
3回答
我试图在对象方法的上下文中找出OCaml的递归。我已经尝试了以下代码，但似乎无法编译它。) let rec doIt x = if x>1 then doIt (x+1)如何在方法中创建这种类型的递归函数修改后的代码：object (self)
me
浏览 0提问于2009-03-09得票数 3
回答已采纳
1回答
循环依赖与模块化设计
、、、、
我已经处理了很长一段时间的设计问题，循环依赖是基本问题，而且我有一些问题很好地解决了它。我来自C，在这里循环依赖是可能的，而且很容易解决。以下是项目中有关文件的非常简化的图像：type loc = string * (int * int) * (int * int)type t | Sym_Func of Ast.decl_func
val lookup_by
浏览 0提问于2019-04-17得票数 1
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
