- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
从右到左的位数组,例如[0,1,0,1] = 10 可以用以下方式读取:
binToInt = foldr (\x xs -> x + 2 * xs) 0
我想从左到右阅读它,例如[1,0,1,0] = 10
我认为这会起作用:
binToInt' = foldr (\x xs -> (x * ((^) 2 (length xs)) + xs) 0
但是我得到了错误:
Couldn't match type `t0 a0' with `Int'
我做错了什么?
(作为解决方法,我正在反转 binToInt 的结果)
最佳答案
我解决了我的问题:
binToInt' = foldl (\acc x -> x + 2 * acc) 0
展开为:
f = (\acc x -> x + 2 * acc)
foldl f 0
[1,0,1,0]
(f [1,0,1]) * 2 + 0
((f [1,0]) * 2 + 1) * 2 + 0
(((f [1]) * 2 + 0) * 2 + 1) * 2 + 0
((((f []) * 2 + 1) * 2 + 0) * 2 + 1) * 2 + 0
((((0) * 2 + 1) * 2 + 0) * 2 + 1) * 2 + 0
关于haskell - 使用 foldr 将 bit 转换为 int forward,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/45018107/
foldr 和 foldMap 据我了解,可以用来定义彼此。但这怎么可能,因为后者使用幺半群,而前者却没有?我们有任何保证 foldr 的东西吗?可以有一个幺半群吗? 最佳答案 foldr :: (a
import Prelude hiding (foldr) import Control.Applicative import Data.Foldable import Data.Traversabl
首先,我了解(几乎)折叠函数。鉴于该功能,我可以很容易地计算出会发生什么以及如何使用它。 问题是关于它的实现方式,这导致函数定义略有不同,需要一些时间才能理解。更糟糕的是,大多数折叠示例具有相同类型的
我正在学习 Haskell。我有一个看起来像这样的列表: data TwoValueList a = Empty | Node a a (TwoValueList a) 我想做这个Foldable ,
给定以下示例 foldr(\ x y -> ........ 如果输入是一个列表,例如 [1,2,3] 什么是x,什么是y? 最佳答案 让我们看一下foldr 的类型。 foldr :: (a ->
嗨,我是 Haskell 的新手,我有点迷茫。我被要求这样做,但无法解决。 仅使用 foldr , bool 运算(||)和 False , 定义一个函数 or_list :: [Bool] -> B
通过单侧折叠,我的意思是关联运算符的假设原始折叠操作,不保证任何顺序。也就是说,(fold + 0 [a b c d]) 可以是 (+ (+ a b) (+ c d)) 或 (+ (+ (+ a b)
我正在尝试在无限列表上使用埃拉托色尼筛算法生成素数。我听说 foldr 会懒惰地检查列表,但每次我尝试使用以下算法时都会出现堆栈溢出异常: getPrimes :: [Int] getPrimes =
我正在尝试在无限列表上使用埃拉托色尼筛算法生成素数。我听说 foldr 会懒惰地检查列表,但每次我尝试使用以下算法时都会出现堆栈溢出异常: getPrimes :: [Int] getPrimes =
我知道 foldr 如何在 Leaf 上工作,但我不知道 foldr 如何在 Node 上工作。如果我们已经有 f 和 z 作为参数,那么参数\x z' 是什么?假设我们有 tree = Node [
这是一个简单的函数,它接受一个列表和一个数字,并计算列表的长度是否大于该数字。 例如 compareLengthTo [1,2,3] 3 == EQ compareLengthTo [1,2] 3 =
我正在做 self 练习,想知道是否有一种方法可以仅使用 foldr 找到列表中符合特定条件的左起第一项?我希望在找到第一个项目时停止递归(我知道我可能可以结合使用 take)但我很想知道是否可以只使
我正在尝试手动导出 ((.) foldr) 的类型 (.) ::(b1 -> c1) -> (a1 -> b1) -> a1 -> c1 foldr :: (a2 -> b2 -> b2) -> b2
好吧,这是使用 foldr 的过滤器函数的定义: myFilter p xs = foldr step [] xs where step x ys | p x = x : ys
我写函数foldTree从列表中构建平衡二叉树。 我必须使用 foldr没关系,我用过,但我做了insertInTree函数递归=(现在我只知道这种方式可以穿过树木=))。 更新 : 我不确定功能 i
我试图理解我正在类的讲义中的一部分。它将长度函数定义为: length = foldr (\_ n -> 1 + n) 0 有人可以解释一下这是如何工作的吗?我无法绕开它。 最佳答案 一、类型fold
我有一些 groupBy 的替代实现,这对我来说比 Data.List 中的版本更有用,因为它不需要测试是等价关系: groupBy' :: (a -> a -> Bool) -> [a] -> [[
我是 Haskell 的初学者,即使在阅读了几个对 foldr/foldl 的解释之后,我也无法理解为什么我会在下面得到不同的结果。解释是什么? Prelude> foldl (\_ -> (+1))
如果我有这个插入功能: insert x [] = [x] insert x (h:t) | x b -> b) -> b -> [a] -> b foldr1 :: (a -> a -
在解释foldr对于 Haskell 新手来说,规范的定义是 foldr :: (a -> b -> b) -> b -> [a] -> b foldr _ z [] =
我是一名优秀的程序员,十分优秀!