Haskell中的$是什么,以及如何将函数应用于函数[duplicate]

它是关于联想性的。函数应用程序是左关联的,所以 sum listValid 10 相当于 (sum listValid) 10 ,不是 sum (listValid 10) add x y = x+y add 1 2 相当于 add (1 2) .

所以这里的问题是 总和列表有效10 ,它看不见 listValid 10 sum ; 它看到了 listValid 作为 然后 10 作为 sum listValid .

$ 解决这个问题是因为它是一个中缀运算符 总和 是它的左操作数 是它的右操作数(请记住,函数应用程序的优先级高于任何中缀运算符,因此不能将其视为 (sum $ listValid) 10 ).

函数应用 f x

sum listValid 10

相当于 (sum listValid) 10 .

这个 $

sum $ listValid 10

与 sum $ (listValid 10) ,不是 (sum $ listValid) 10

当你写作的时候 f $ x ,其实你写的 ($) f x ,与 ($) :: (a -> b) -> a -> b 一个函数。此函数是 defined as

($) :: forall r a (b :: TYPE r). (a -> b) -> a -> b
f $ x = f x

以上这些看起来不太令人印象深刻。如果你这样写 ,相当于 f x ,那么为什么要写一个 $ 不管怎样?因为这个接线员 precedence 0 . 这意味着如果你写:

f $ x+2

($) f (x+2)

因此:

f (x+2)

不需要写括号。

sum $ listValid 10

($) (sum) (listValid 10)

sum (listValid 10)

如果你写:

sum listValid 10

哈斯克尔将此解释为:

(sum listValid) 10

现在 sum Integer -> [Integer] 没有意义, sum :: Num a => [a] -> a Num 埃里克值,因此错误。

函数应用程序是左关联的,所以

f x y

解析为:

(f x) y

f x $ g y

解析为:

(f x) $ (g y)

特别是,您有:

sum listValid 10 = (sum listValid) 10
sum $ listValid 10 = sum $ (listValid 10) = sum (listValid 10)