我不理解bottom(?或_|_)在Haskell函数定义中所起的作用.
zip例如,定义将其描述为"正确的懒惰",因为
zip [] _|_ = []
但我不清楚这有何不同
zip [] _ = []
_|_在上面的函数定义中扮演什么角色？特别是,它与使用_有何不同？
更新和注意:作为优秀答案的读者将自己发现,这些答案的一个关键部分,值得提拔,实际上,? 它不会(也不能)出现在Haskell函数定义中.继续阅读.
haskell ×1