小编ham*_*rns的帖子

我目前仍在进一步了解 Haskell，在模式匹配主题下，它在 Haskell 中意味着什么_ && _ = False？我在一张讲座幻灯片中看到了这个陈述，比如下划线是什么意思？再次感谢！

我目前正在修订 Haskell 中 lambda 表达式的章节(\\)。只是想知道是否有人可以帮忙解释一下这是怎么做到的：

const :: a \xe2\x86\x92 b \xe2\x86\x92 a \nconst x _ = x (this part)\n

定义如下：

const :: a \xe2\x86\x92 (b \xe2\x86\x92 a) \nconst x = \xce\xbb_ \xe2\x86\x92 x (how did it become like this?)\n

这个问题是 Haskell 教科书练习中的一个，不是那么聪明的问题。

问题：下列值的类型是什么？

[tail, init, reverse]

解决方案：[[a] -> [a]]

但为什么？