为什么这个表单不违反`$`的类型签名？

Question

类型签名$如下:

($) :: (a -> b) -> a -> b

因此,如果plus1 n = n + 1,那么我们就有了

> ($) plus1 1
2

但那为什么呢

> ($ 1) plus1
2

还有？表单($ 1) plus1似乎违反了类型签名$.

Answer 1

如果你试试

(($) 1) plus1

你会得到你期望的类型错误.

特殊语法($ 1)称为section,代表\x -> x $ 1,它与普通应用程序不同($) 1.此语法可以与所有中缀运算符(*)一起使用,例如(+ 1)或(* 4).

(*)除了-,因为(- 10)是负常数-10.