2回答
键入'a tree =空的'a * 'a tree *‘树的空\ Node；
在Node of中，Node是内置的OCaml类型吗？
浏览 3提问于2017-09-03得票数 2
回答已采纳
1回答
我正在尝试创建一个表示空的二叉树的类型(基本上，只是它的骨架)。然后使用模式匹配迭代此类型的变量。
我了解如何为标准类型(int、string等)实例化固定的多态变体-参见下面的int_tree。然而，还不清楚是否可以从多态变量中生成一个空的变体(在编译过程中，下面的empty_tree代码行由于SyntaxError而失败)。
浏览 11提问于2017-07-17得票数 3
回答已采纳
3回答
指向OCaml中记录的指针
、、、、
我正在OCaml中实现二进制搜索树，试图尽可能多地使用命令式编程。我有以下数据类型： and node = {mutableexpression is expected to have type node ref二进制搜索树可以是空树</
浏览 5提问于2017-10-03得票数 0
回答已采纳
当我需要不同类型的数字文本(如0或1 )时，我使用_0和_1，但这个解决方案并不理想。是否可以使用Camlp4在给定的上下文中重新解释数字文字，或者添加具有专用后缀的新类型的数字文字？
浏览 2提问于2015-12-24得票数 1
回答已采纳
OCaml中的定义： Leaf type 'a comparisonfn= 'a -> 'a -> int在多态BST中使用此方法，其中ptree是对树中使用的
浏览 1提问于2020-03-03得票数 1
回答已采纳
3回答
互递归数据类型
、、
我正在尝试创建一对相互递归的数据类型，以表示OCaml中用于作业作业的红黑树。但是，我对OCaml语言非常陌生，所以我遇到了一些语法问题。不寻找问题的实际答案，仅仅是语法的澄清。在最初的尝试之后，我得到了这样的结果，但是教授说这不是一对相互递归的数据类型。red_node * 'a red_node )
| TwoBlackNodes of 'a * (
浏览 1提问于2015-06-21得票数 4
回答已采纳
1回答
-dparsetree可以用来打印非类型化的解析树，但是如何在OCaml中打印类型化的AST？我在源代码中查看了typing目录，似乎有些函数可以做到这一点。
浏览 5提问于2015-04-20得票数 2
回答已采纳
* ref_tree list ref我想要编写一个函数convert: ref_tree -> tree，它将邻居保存为引用的树保存为包含它们的列表，并输出一棵树，其中引用被更改为普通列表。l))if (!'a list其中This expressi
浏览 3提问于2015-01-18得票数 1
回答已采纳
1回答
我目前正在探索OCaml，并编写了从二叉树中删除节点的以下实现 match tree' with Node(left, newValue, (deleteNode right newValue)) | Empt
浏览 0提问于2018-02-16得票数 4
回答已采纳
我，我有一个简单的ocaml程序 | Empty -> [] evalNode :树列表(string * exp) -> = fun但是返回这个错误，但我
浏览 1提问于2018-01-18得票数 1
4回答
是否有用于处理树的模块或函数？我有一个看起来像这样的类型： Leaf of string (* todo: replace with 'a *)
| Node of string
浏览 1提问于2009-09-25得票数 5
2回答
我试图转储OCaml项目中所有标识符的类型信息，这基本上与遍历类型化抽象语法树()相同。因为我对OCaml编译器的代码库并不熟悉，所以我不确定编译器是否提供了apis，这样我们就可以轻松地编写一个插件来完成这项工作，还是我们必须破解编译器的代码？另外，这是如何与OCamlbuild交互的？谢谢你的暗示和建议。
浏览 2提问于2015-02-08得票数 4
回答已采纳
我试图转储Haskell项目中所有标识符的类型信息，基本上这与遍历类型化抽象语法树是一样的。
在中，OCaml通过一个名为compiler-libs的库公开其内部API。我想知道Haskell对类似任务的支持情况如何？
浏览 0提问于2015-02-08得票数 4
我想对OCaml片段进行预处理，并根据特定表达式的类型对代码片段进行一些修改。例如，如果代码片段具有：我将向f添加另一个参数，例如：。但如果我看到这样的事情：那我可能会想：我在看camlp4，尽管我对它不够透彻；我认为camlp4没有关于表达式的类型
浏览 6提问于2014-11-03得票数 2
回答已采纳
2回答
给定是一种用来构造二叉树的类型：现在假设我们希望通过类型来表示二叉树包含一个元素为零的节点，也就是说，我想表示如下形式的内容： | Leaf(y) -> y = 0
ty
浏览 0提问于2015-03-24得票数 0
回答已采纳
2回答
我正在使用Ocaml的内置Map库来解决一个问题集，但我在访问地图本身的数据类型时遇到了问题。这应该是字典的第三个实现(前两个是列表和不平衡的二进制搜索树)，我必须实现的函数器的一部分是"type dict"，它是实际字典的数据类型。对于列表，键入dict was (D.key * D.value) list；对于树，键入dict was | Branch((D
浏览 2提问于2011-03-03得票数 5
我试图找出节点树的最大值，但我遇到了这种错误，这个表达式的类型是int bintree，但表达式的类型应该是'a bintree bintree。类型int与类型'a bintree不兼容。
浏览 33提问于2019-11-20得票数 0
3回答
假设我们想插入更小的值。当函数Node (insert x left, k, right)被声明为只接受一个参数时，我不明白我们怎么能有insert x left。
浏览 0提问于2016-04-30得票数 1
2回答
我创造了一棵树 mutable cont: 'a; mutable right: 'a bin_treeand 'a bin_tree = | Node of 'a tree;;
我在谷歌上搜索了
浏览 4提问于2013-05-12得票数 0
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
