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。简而言之，在类型检查器中实际上有一条专门针对 ($) 的特殊规则，这使它能够解决禁言类型的常见情况。