タイプシグニチャーのオペレーターシンボルのまわりのかぎ括弧

Question

. :: (a -> b) -> (c -> a) -> c -> b 
f . g = \ x -> f (g x) 

なぜこの定義は違法ですか？審美的な選択、または正式な必要性？

Answer 1

これは一貫性のためです。中置演算子自体は、の式では定義できません。以下は法的ではありません。

. = \f g x -> f (g x) 

...これは基本的にあなたの定義に委ねられていません。しかし、直接はこのよう中置の値を定義するために、我々はまず、特殊な構文上の地位を無効にする必要があり、その括弧でそれをラップすることにより行われています：

(.) :: (a -> b) -> (c -> a) -> c -> b 
(.) = \f g x -> f (g x) 

これは

の定義と全く同じです

compose :: (a -> b) -> (c -> a) -> c -> b 
compose = \f g x -> f (g x) 

Prelude> map (toEnum `compose` round) $ [110 + sin x * 12 | x<-[0..30]] :: String 
"nxypebkvzsgbhszvkbepyxndclwyqfb" 

のような、その後も中置として使用することができます

...、しかし、あなたは明らかにINFI内の定義を記述しないだろう

`compose` :: (a -> b) -> (c -> a) -> c -> b 
`compose` = \f g x -> f (g x) 

のようなX形、...あなたは

f`compose`g = \x -> f (g x)