代码之家 › 专栏 › 技术社区 › Bercovici Adrian

Concat方法类型说明

concat haskell

-1

Bercovici Adrian · 技术社区 · 6 年前

有人能给我解释一下为什么我的concat实现中的源列表类型不起作用吗?

conc::[[a]]->[a]
conc xs@(x1:xs')=foldr (:) [] xs

为什么源列表应为 [a] 而不是 [[a]] ? 如果我想继续 [[1,2],[3,4]] 不是那种类型 [[a]] 不 [答] 元素类型为 [答] .

我得到以下错误:

Couldn't match type `a' with `[a]'
      `a' is a rigid type variable bound by
        the type signature for:
          conc :: forall a. [[a]] -> [a]

2 回复 | 直到 6 年前

Igor Drozdov 6 年前

实际上编译器在错误中显示了有用的提示(实际上比您发布的消息低几行)

Expected type: [a]
Actual type: [[a]]

在下面的代码中,参数的类型确实是 [[a]] ,但结果也是类型 [[a]] ,它与类型定义冲突:

conc :: [[a]] -> [a]
conc xs@(x1:xs') = foldr (:) [] xs

xs 代码中的类型为 [[a]] 您可以使用 foldr 并添加类型为 [a] 添加到列表。因此,您将收到一个类型列表 [[a]] .

Will Ness Derri Leahy 6 年前

foldr (:) [] xs == xs 是 True 对于任何 xs . 这意味着 foldr (:) [] 是列表上的标识函数。这一事实广为人知,是哈斯克尔传说的一部分,以至于 foldr(:)[] 自动读取为 id 在一个有经验的Haskell程序员的头脑中。

一种看的方式 foldr c n 替换“cons”(即。 (:) )使用 c 以及 [] 具有 n ,在给定列表中。更换 (:) 具有 (:) 和 [] 具有 [] 显然不会改变什么:

[a, b, ..., z]  ==>  a : b : ... : z : []  ==  [a, b, ..., z]

更换 (:) s与 (++) 另一方面,将把输入列表中的所有列表连接在一起,形成一个:

[a, b, ..., z]  ==>  a ++ b ++ ... ++ z

这就是你想要实现的。

所以正确的实现 concat 具有 foldr 是 foldr (++) [] .

推荐文章

samu101108 · 拆分由空格或逗号分隔的txt文件,并在中连接后缀。球棒

7 年前

user9003011 · matlab中for循环中的堆栈表行

7 年前

PineNuts0 · 当我没有添加权限时,将连接列添加到临时表

7 年前

user3411176 · MySQL选择条件连接

7 年前

Cleb · 忽略索引中后缀的高效级联

7 年前

candid · 熊猫通过取列之间的平均值来合并两个数据帧

7 年前

Daddi Al Amoudi · 在laravel中插入数据库之前如何连接自动增量值

7 年前

rjg132234 · 如何连接两个javascript变量和正则表达式

8 年前

Ye Htun Z · 如何在mysql中定义的位置之间插入字符进行选择

9 年前

Greg Robertson · 端口[原点]。从JavaScript到Swift的concat(ray(nextStep))

9 年前