为什么($3)有签名(a->b)->b？
在Learn you a Haskell 中，给出了以下示例：
map ($ 3) [(4+), (10*), (^2), sqrt]
[7.0,30.0,9.0,1.7320508075688772]
但是，我不明白为什么会这样。
函数的签名是
Prelude> :info ($)
($) :: (a -> b) -> a -> b
Prelude> :t ($ 3)
($ 3) :: Num a => (a -> b) -> b
然而，->是一个左结合运营商，所以$ :: (a -> b) -> a -> b实际上((($ :: (a-b))-> a)-> b)，所以不宜3在($ 3)对应(a->b)的功能是函数的第一个“变量” $？即为什么是($ 3)签名的函数(a -> b) -> b
资料来源：http : //learnyouahaskell.com/higher-order-functions
回答
然而，
->是左结合运算符。
不，->是右结合运算符。在Learn You a Haskell文档中，它说：
首先，注意类型声明。之前，我们不需要括号，因为它
->是自然右结合的。
类型签名的更详细的版本($)和($ 3)有：
($) :: (a -> b) -> (a -> b)
($ 3) :: Num a => (a -> b) -> b
我们可以以更规范的形式编写类型构造函数：
($) :: (->) ((->) a b) ((->) a b)
($ 3) :: Num a => (->) ((->) a b) b
因此，这意味着$接受一个带有签名的函数a -> b，从而返回一个带有签名的函数a -> b，因此它基本上充当id，除了它将输入限制为一个函数（而不仅仅是任何类型），并且您可以$轻松使用，而(`id` 3)不是那个优雅。
如果我们因此应用3到f $ 3运算符，我们知道f将有签名f :: a -> b和3类型Num a => a。如果我们使用 运算符进行分段($ 3)，我们将3作为“第二个”参数传递（在 Haskell 中，每个函数都只有一个参数，但在这里我们将其分配给作为 的结果的参数，因此($) f这意味着 的类型($ 3)是Num a => (a -> b) -> b。
- 换句话说，`(/ 2)` 会被二除，而`(/) 2` 会被那个函数的参数除以二，而`div 2` 也会被我们仍然缺少的参数除以二。
- 为了完整起见，``(`f` 2.0)`` 和 ``(2 `f`)`` * 将* 是运算符分段的示例。将函数名称放在反引号中可以让您将其视为运算符。