Haskell：パターンマッチングは冗長です

Question

Haskell、Stackビルドツール。

私が持っているコード：

quote :: Char 
quote = '\'' 

doubleQuote :: Char 
doubleQuote = '\"' 

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

それはerorsなしでコンパイルが、私はコンパイル時にメッセージが表示されます。

D：\ Haskellの\本物の\アプリ\ Main.hs： 1：34警告：[-Woverlapping-パターン]
パターンマッチは `isBorder 'についての式において
冗長である：isBorderダブルクォート= ...

D：Main.hs \ \ハスケル\実\アプリ：1：35警告：[-Woverlapping-パターン]
パターンマッチは `isBorder 'についての式において
冗長である：isBorder _ = ...

この意味は？私は冗長性を見ません...

Answer 1

関数を宣言するとき、引数変数はnewの名前です。あなたの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が定義されてidentifersが、パラメータの名前ではないからです。