内容简介：翻译自：https://stackoverflow.com/questions/13782185/haskell-foldr-vs-foldr1
如果我有这个插入功能：
insert x [] = [x] insert x (h:t) | x <= h = x:(h:t) | otherwise = h:(insert x t)
这会产生一个 排序 列表：
foldr insert [] [1,19,-2,7,43]
但是这个：
foldr1 insert [1,19,-2,7,43]
产生’不能构造无限类型：a0 = [a0]’
我很困惑为什么第二个电话不起作用.
我已经查看了 foldr 和 foldr1 的定义,并且已经用简单的算术函数进行了跟踪,但我仍然无法清楚地解释为什么第二次调用失败.
我们来看一些类型的签名.
foldr :: (a -> b -> b) -> b -> [a] -> b foldr1 :: (a -> a -> a) -> [a] -> a
在这两种情况下,第一个参数是两个参数的函数.
>对于foldr1,这两个参数必须具有相同的类型(结果也具有此类型)
>对于foldr,这两个参数可能有不同的类型(结果与第二个参数的类型相同)
你的插入物的类型是什么？
翻译自：https://stackoverflow.com/questions/13782185/haskell-foldr-vs-foldr1
以上所述就是小编给大家介绍的《Haskell：foldr vs foldr1》，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持！
猜你喜欢:
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
白话大数据与机器学习
高扬、卫峥、尹会生 / 机械工业出版社 / 2016-6 / 69
本书通俗易懂，有高中数学基础即可看懂，同时结合大量案例与漫画，将高度抽象的数学、算法与应用，与现实生活中的案例和事件一一做了关联，将源自生活的抽象还原出来，帮助读者理解后，又带领大家将这些抽象的规律与算法应用于实践，贴合读者需求。同时，本书不是割裂讲解大数据与机器学习的算法和应用，还讲解了其生态环境与关联内容，让读者更全面地知晓渊源与未来，是系统学习大数据与机器学习的不二之选： ·大数据产业......一起来看看 《白话大数据与机器学习》 这本书的介绍吧!
