Haskell:foldr vs foldr1

栏目: 编程语言 · 发布时间: 5年前

内容简介:翻译自: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]’

我很困惑为什么第二个电话不起作用.

我已经查看了 foldrfoldr1 的定义,并且已经用简单的算术函数进行了跟踪,但我仍然无法清楚地解释为什么第二次调用失败.

我们来看一些类型的签名.

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》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

并发的艺术

并发的艺术

Clay Breshears / 聂雪军 / 机械工业出版社 / 2010年9月 / 49.00元

如果你希望通过并发编程来充分发挥多核处理器的强大功能,那么本书将为你提供所需的理论知识和实际经验。《并发的艺术》是为数不多的几本介绍如何在多核处理器的共享内存模型中实现算法的书籍之一,它并非仅仅介绍一些理论模型或者分布式内存架构。本书详细分析了各种示例程序,这些内容非常有助于你将串行代码转换为并行代码,此外还介绍了如何避免一些常见的错误。 本书的作者是Intel公司的一位资深工程师,他从事并......一起来看看 《并发的艺术》 这本书的介绍吧!

JSON 在线解析
JSON 在线解析

在线 JSON 格式化工具

图片转BASE64编码
图片转BASE64编码

在线图片转Base64编码工具

HSV CMYK 转换工具
HSV CMYK 转换工具

HSV CMYK互换工具