$（dollar）和$！之間的區別是什麼？ （美元感嘆號）

Question

任何人都可以解釋（與美元符號感嘆號美元符號）的運營商($)和($!)之間哈斯克爾區別？

我到目前爲止在任何地方都沒有看到過使用$!，但在瀏覽Haskell reference時，我注意到它的存在，並且它具有與$完全相同的定義。在Haskell解釋器（GHCi）中嘗試一些簡單的語句時，我找不到任何區別，在搜索haskell tutorial時，我也無法在頂部列出的教程中找到對操作員的任何引用。

所以，只是出於好奇，有什麼區別，如果在所有？

Answer 1

($!)是嚴格的功能應用。也就是說，它在評估函數之前評估參數。

這與在Haskell，例如正常懶惰函數應用f x或f $ x，它首先開始評估函數f，並且只在需要時計算參數x。

例如succ (1 + 2)將通過創建thunk來延遲添加1 + 2，並開始首先評估succ。只有當需要succ的參數時，纔會評估1 + 2。

但是，如果您確定始終需要函數的參數，則可以使用($!)，它將首先評估參數爲弱頭標準形式，然後輸入該函數。這樣，你不會創建一大堆thunk，這可以更有效率。在此示例中，succ $! 1 + 2將首先計算3，然後輸入函數succ。

注意，它並不總是安全的，只需更換嚴格的功能應用的正常功能應用。例如：

ghci> const 1 (error "noo!") 
1 
ghci> const 1 $! (error "noo!") 
*** Exception: noo! 

Answer 2

請參閱seq函數，該函數強制評估值。 $！是根據seq定義的。

This是一個博客帖子足見其使用的一些細微差別。