這個$運算符用于避免括號。在它之后出現的任何東西都將優先于任何之前出現的東西。

例如，假設您有一行內容如下：

putStrLn (show (1 + 1))

如果您想去掉這些括號，下面的任何一行也會執行相同的操作：

putStrLn (show $ 1 + 1)putStrLn $ show (1 + 1)putStrLn $ show $ 1 + 1

的主要目的.運算符不是為了避免括號，而是為了鏈式函數。它允許您將顯示在右側的任何內容的輸出與顯示在左側的任何內容的輸入相關聯。這通常也導致較少的括號，但工作方式不同。

回到同一個例子：

putStrLn (show (1 + 1))

1. (1 + 1)

   沒有輸入，因此不能與

   .

   接線員。

2. show

   可以

   Int

   并返回一個

   String.

3. putStrLn

   可以

   String

   并返回一個

   IO ().

你可以鎖鏈show到putStrLn就像這樣：

(putStrLn . show) (1 + 1)

如果你喜歡的括號太多了，用$操作員：

putStrLn . show $ 1 + 1

它們有不同的類型和不同的定義：

infixr 9 .(.) :: (b -> c) -> (a -> b) -> (a -> c)(f . g) x = f (g x)infixr 0 $($) :: (a -> b) -> a -> b
f $ x = f x

($)用于替換正常的函數應用程序，但以不同的優先級來幫助避免括號。(.)是將兩個函數組合在一起，形成一個新函數。

在某些情況下，它們是可互換的，但這在一般情況下是不正確的。典型的例子是：

f $ g $ h $ x

==>

f . g . h $ x

換句話說，在一連串的$S，除了最后一個，所有的都可以用.

還請注意($)是專攻函數類型的標識函數..標識函數如下所示：

id :: a -> a
id x = x

當($)看起來是這樣的：

($) :: (a -> b) -> (a -> b)($) = id

注意，我有意在類型簽名中添加了額外的括號。

使用($)通?？梢酝ㄟ^添加括號來消除(除非在節中使用運算符)。例如：f $ g x成f (g x).

使用(.)通常較難替換；它們通常需要lambda或引入顯式函數參數。例如：

f = g . h

成

f x = (g . h) x

成

f x = g (h x)

希望這能幫上忙！