ハスケル関数関数の適用優先​​度

Question

let f x y = x * y。この関数は、f 5 6、またはインフィックス表記5 `f` 6を使用して適用できます。この最後の式に演算子ルールが適用されますか？このアプリケーションはどのような優先順位を持っていますか？それは関数アプリケーションの別の形式なのでしょうか？また、それはまた最高の優先順位を持っていますか？

私はコンパイラがこの特別な書式（``および/または文字（？）で始まる名前のため）を見て、実際にこれを演算子と見なすのではなく、通常の関数アプリケーションとして扱います。

Answer 1

Haskell 98 ReportはそれをクリアOperator Applicationsのセクションを有する：

オペレータは、オペレータよう+などの記号、または$$のいずれかである、又は重大なアクセント（バッククォート）で囲まれ 通常の識別子でありますたとえば、 「op」などです。例えば、接頭辞アプリケーションop x yを書く代わりに、 は、中置アプリケーションx `op` yを書くことができる。 `op`に対して固定具宣言 が与えられていない場合、デフォルトは最も高い優先度になり、 結合性が残っています（4.4.2項を参照）。

他の回答で示されているように、報告書はまた、あなたがたとえば、独自の固定性を定義することができますFixity Declarationsのセクションがあります。

infixl 7 `op` 

Answer 2

明示的な固定宣言がない場合、たとえば

infixl 7 `quot` 

backtickedインフィックス機能はinfixl 9のデフォルトの定着性を有するので、同一の定着性を有する他の任意の中置演算子と同様に扱われます。