个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
25
4
我正在尝试手动导出 ((.) foldr) 的类型
(.) ::(b1 -> c1) -> (a1 -> b1) -> a1 -> c1
foldr :: (a2 -> b2 -> b2) -> b2 -> [a2] -> b2
然后:
b1 = a2 -> b2 -> b2
c1 = b2 -> [a2] -> b2
匹配我得到的类型:
((a2 -> b2 -> b2) -> (b2 -> [a2] -> b2)) -> (a1 -> (a2 -> b2 -> b2)) -> a1 -> (b2 -> [a2] -> b2)
但后来我对如何减少这种表达感到困惑。
有什么帮助吗？
谢谢，
塞巴斯蒂安。
最佳答案
您正确地计算出了 (.) foldr 中 (.) 的类型。 (.) 应用于一个参数(foldr)，因此您可以丢弃 ((a2 -> b2 -> b2) -> (b2 -> [a2] -> b2)) 剩下的就是 (.) foldr 的类型:
(a1 -> a2 -> b2 -> b2) -> a1 -> (b2 -> [a2] -> b2)
确保 foldr 可以在你之前输入 ((a2 -> b2 -> b2) -> (b2 -> [a2] -> b2))把它扔掉。如果匹配正确，此检查不会失败，但它是一个很好的完整性检查。
关于haskell - 导出 ((.) foldr) 的类型，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/23415155/
25
4
0
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 [] =
我是一名优秀的程序员,十分优秀！