Haskell 的 ($) 是一个神奇的运算符？

Question

假设我有以下功能:

infixr 0 <|

{-# INLINE (<|) #-}
(<|) :: (a -> b) -> a -> b
f <| x = f x

foo :: a -> (forall b. b -> b) -> a
foo x f = f x

以下内容不进行类型检查:

ghci> foo 3 <| id

Couldn't match expected type `forall b. b -> b'
            with actual type `a0 -> a0'
In the second argument of `(<|)', namely `id'
In the expression: f 3 <| id
In an equation for `it': it = f 3 <| id

但是，foo 3 $ id确实。

(<|) 的定义(据我所知)与 ($) 的定义相同。我几乎从基础库源中删除了定义，并将 ($) 的每个实例更改为 (<|)。编译器魔法？

Answer 1

是的，($) 周围有少量编译器魔法来处理谓语类型。推出是因为大家都期待

runST $ do
  foo
  bar
  baz

进行类型检查，但不能正常进行。欲了解更多详情，请参阅here (搜索runST)，这个email ，还有这个email 。缺点是，类型检查器中实际上有一条专门针对 ($) 的特殊规则，它能够解决谓语类型的常见情况。