Wstrzymanie aplikacji trybu nawiaskowego Haskella

Question

Niech f x y = x * y. Możemy zastosować tę funkcję na dwa sposoby: f 5 6 lub używając notacji infiksowej, 5 `f` 6. Czy reguły operatora odnoszą się do tego ostatniego wyrażenia? Jakie pierwszeństwo ma ta aplikacja? Czy jest to po prostu kolejna forma aplikacji funkcji, a więc będzie miała również najwyższy priorytet?

Przypuszczam, że kompilator widzi ten specjalny formularz (z powodu `` i/lub nazwa zaczynająca się na literę (?)) I faktycznie traktuje to jako zwykłą aplikację funkcji, zamiast traktować ją jako operatora.

Answer 1

Haskell 98 Report ma przekrój w Operator Applications że czyści go:

operator jest albo symbolem operatora, na przykład + lub $$ lub jest zwykły identyfikator zawarty w grawis (małe cudzysłowy) , takie jak `op`. Na przykład, zamiast pisać przedrostek aplikacji op x y, można napisać aplikację infix x `op`y. Jeśli nie podano deklaracji stałej dla opcji "op", to domyślnie jest ona ustawiona na najwyższy priorytet i pozostawia powiązanie (patrz sekcja 4.4.2).

Jak wskazano przez innych odpowiedzi, raport zawiera także rozdział poświęcony Fixity Declarations który pozwala na zdefiniowanie własnej stałości, na przykład:

infixl 7 `op` 

Answer 2

Jeśli nie podano wyraźnej deklaracji stałej, np.

infixl 7 `quot` 

backticked funkcja infiks ma domyślny stałość infixl 9, więc traktowany jak każdy inny podmiot Infix z samym stałości.