类型签名中的运算符符号周围的括号

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"

但你显然不会用中缀形式写定义,比如

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

......虽然你能做到

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