Haskell 的 $-Operator 的定义

Question

post 和 this 等其他来源坚持认为 $-operator 的定义是

($) :: (a -> b) -> a -> b
f $ x = f x

或

($) f x = f x

或

($) = id

但我不明白为什么这个定义能够替换括号，所以我尝试自己重现它并检查行为，通过定义：

k :: (a -> b) -> a -> b
k f x = f x

但我得到的是：

-- these work:
(+2) `k` 4
(+2) `id` 4
sum `k` [1,2]
sum `id` [1,2]
map (flip(-)3) $ filter even `k`  filter (>=0) [-5..10]
map (flip(-)3) $ filter even `id` filter (>=0) [-5..10]

-- these don't:
sum `k`  1:[2]
sum `id` 1:[2]
map (flip(-)3) `id` filter even $ filter (>=0) [-5..10]

k 不应该替代$ 吗？我做错了什么？

Answer 1

你错过了fixity declaration：

infixr 0 $

或者在你的例子中：

infixr 0 `k`

固定性声明告诉解析器中缀运算符的优先级/关联性是什么。