- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我需要在 haskell 中编写一个函数来计算二叉树的大小。我尝试过,但不明白错误消息告诉我什么或出了什么问题。
我的尝试:
sizeBintree :: Bintree a -> Int
sizeBintree = foldBin $ BinSig {empty_ = 0,
fork = \a left right -> a+sizeBintree left+sizeBintree right}
相关定义:
data Bintree a = Empty | Fork a (Bintree a) (Bintree a)
data BinSig a val = BinSig {empty_ :: val,
fork :: a -> val -> val -> val}
foldBin:: BinSig a val -> Bintree a -> val
foldBin alg Empty = empty_ alg
foldBin alg (Fork a left right) = fork alg a (foldBin alg left)
(foldBin alg right)
错误信息:
Couldn't match expected type 'Bintree a0' with actual type 'Int'
In the expression: a+sizeBintree left+sizeBintree right
In the 'fork' field of a record
In the second argument of '($)', namely 'BinSig {empty_ = 0,fork = \a left right -> a+sizeBintree left+sizeBintree right}'
relevant bindings include
right::Bintree a0
left:: Bintree a0
最佳答案
您希望您的fork
是这样的:
fork = \a left right -> 1 + left + right
您的版本存在两个问题。首先,您计算大小,而不是将树的元素相加。所以你不想添加那个a
,它甚至可能根本不是你可以添加的东西。
fork = \a left right -> a+sizeBintree left+sizeBintree right
^
其次看fork的类型,
fork :: a -> val -> val -> val
它采用树的一个元素,然后是两个值(不是树!)并返回另一个值。这两个值将是左右子树折叠的结果。
fork = \a left right -> a+sizeBintree left+sizeBintree right
^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^
注意 fork 不应该执行任何递归。递归方案由foldBin
定义。
关于haskell二叉树签名热代数计算大小,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53778957/
我已经将一些变量声明为 bool 值,我希望 C++ 在我进行一些 bool 加法时知道该做什么,但它并没有按照我希望的方式发生。我如何让它工作。 #include using namespace s
我正在创建小型配置文件查看器,我想在 SQL 中模拟环。怎么运行的?对于简单:我的 table 上有 5 个用户。当我从中间获得一个到我的实验(如用户编号 2、3、4)时,下一个和上一个用户是 CUR
我计划使用低级 API 实现 FUSE 文件系统,目前正在尝试了解 fuse_entry_param结构体。 不知道是什么unsigned long fuse_entry_param::generat
从事 JS 工作,刚刚开始学习 boolean 代数。想知道是否有办法简化这个表达式: (!variableOne || !variableTwo) 我记得听说过两个“not”意味着你可以改变符号,但
我有这个 F-代数 (introduced in a previous question),我想在它上面施放一个有效的代数。通过绝望的试验,我设法组合了一个有效的 monadic catamorphi
我在 Google 上到处寻找德摩根定律的 bool 代数(不是集合论)证明,但找不到。 Stack Overflow 也缺少 DeMorgan 定律问题。 作为我的 CIS 251 类(class)
关闭。这个问题不满足Stack Overflow guidelines .它目前不接受答案。 想改善这个问题吗?更新问题,使其成为 on-topic对于堆栈溢出。 7年前关闭。 Improve thi
正在解决这个问题。 验证闰年的基本规则如下: - 大多数能被4整除的年份都是闰年。 - 异常(exception):世纪年不是闰年,除非它们可以被 400 整除。 这就是答案: if(y%4==0 &
假设算法的最坏情况运行时间可以描述为: T(n) = O(n) + O(r^2) + O(n-r) n 是输入大小,r 是根据算法创建分区的索引。 这个等式可以进一步简化吗?如果变量都是 n 那么它将
有没有办法在 JS 中使用 bool 代数? 例如,我想遍历一个包含 true 和 false 的数组,并将其简化为只有 true 或 false。 用 bool 代数来做这件事似乎是一种优雅的方式.
假设我有两个数据框 df1 df2 我可以加入 df1_keys 和 df2_keys。 我想做的事: (A-B) (A-B) U (B-A) A=df1 和 B=df2。 根据我在 document
这个问题已经有答案了: How can I remove a flag in C? (3 个回答) How to set, clear, and toggle a single bit? (27 个回
大家 我实现了自定义聚合 pig UDF。UDF 实现了 Algebraic 接口(interface),并且有 3 个类 - Initial、Intermed 和 Final 在不同阶段进行工作。它
我想制作一个 bool 向量,它是通过比较两个输入 bool 向量创建的。我可以使用 for 循环,但有更好的方法吗? 我理想的解决方案是这样的: df['A'] = [True, False, Fa
我想编写一个 pig 代码来执行分组并生成 31 个字段的总和,但在此之前我需要做一些自定义处理,为此我编写了一个 eval 函数。我想如果我可以将 GROUP 和 SUM 操作包含到 UDF 中,我
我试图通过 boolean 代数来理解使用 4 个与非门如何等同于 1 个异或门。 如果我们从维基百科看这张图片 http://en.wikipedia.org/wiki/XOR_gate#Alter
我是一名优秀的程序员,十分优秀!