模式匹配是多余的

Question

Haskell，堆栈构建工具。

我有代码：

quote :: Char
quote = '\''

doubleQuote :: Char
doubleQuote = '\"'

isBorder :: Char -> Bool
isBorder quote = True
isBorder doubleQuote = True
isBorder _ = False

它会编译没有错误，但我在编译过程中看到了消息：

D:\haskell\real\app\Main.hs:34:1：警告：[-Woverlapping-patterns]
模式匹配是多余的
在 `isBorder' 的等式中：isBorder doubleQuote = ...

D:\haskell\real\app\Main.hs:35:1：警告：[-Woverlapping-patterns]
模式匹配是多余的
在 `isBorder' 的等式中： isBorder _ = ...

这是什么意思？我没有看到冗余......

Answer 1

在声明函数时，参数变量是新的名称。您的 quote 和 doubleQuote 正在隐藏函数，而不是调用函数进行模式匹配。这样，模式匹配的语言就微妙地偏离了右手表达式的语言。为了实现你想要的，要么做

isBorder :: Char -> Bool
isBorder '\'' = True
isBorder '\"' = True
isBorder _ = False

或

isBorder :: Char -> Bool
isBorder c | quote == c = True
isBorder c | doubleQuote == c = True
isBorder _ = False

原理是首先将参数绑定到名称，然后然后使用保护来调用计算结果为布尔值的表达式。

Answer 2

模式只能与具体值匹配，不能与标识符匹配。

所以编译器本质上看到：

isBorder x = True
isBorder x = True

因为quote 和doublequote 不是定义的标识符，而是参数的名称。