Dopasowanie do wzorca nakładają się - Dopasowanie wzorca do operatorów

Question

Natknąłem się na sytuację, w której chciałbym dopasować wzór do operatorów. Powoduje to jednak błąd z GHC na Pattern match(es) are overlapped. Nie rozumiem dlaczego. Czy dopasowanie wzorców do operatorów jest niedozwolone? Zakładam, że od momentu umieszczenia symbolu operatora w nawiasach: converts it into an identifier, powinno to zadziałać.

test :: (Integer -> Integer -> Integer) -> String 
test (+) = "plus" 
test (-) = "minus" 
test _ = "other" 

Są inne sposoby na osiągnięcie tego, co chcę zrobić. Jestem ciekawy, dlaczego to nie działa.

Answer 1

(+) i (-) nie są konstruktorami typu Integer -> Integer -> Integer:

• Nie są nazwy konstruktora
• Integer -> Integer -> Integer nie jest algebraicznym typ danych

I tak kod jest równoważne użyciu dowolnego inne nazwy zmiennych do wiązania pierwszego argumentu, np

test foo = "plus" 
test bar = "minus" 
test _ = "other" 

, która, mam nadzieję, wyjaśnia, że ​​wszystkie trzy wzory faktycznie pasują do wszystkiego (a pierwsze dwa wiążą niektóre nazwy). Innymi słowy, nie ma sposobu, aby pierwszy wzorzec (foo lub (+) w twoim przykładzie) przepadł, dlatego pokrywa się z pozostałymi dwoma.