爲什麼是$！操作者右聯？

Question

我剛學Haskell和我還沒有何時以及如何嚴格評價被迫

當我想要一個函數嚴格評估其論據完全清楚我發現自己寫

((f $! x) $! y) $! z 

這看起來很奇怪。不應該$！是左聯想，所以我可以寫

f $! x $! y $! z 

並讓它做我想要的？

我完全誤解了$！運營商？

Answer 1

措施反對

我發現了一個建議，從2008年哈斯克爾貸，使$和$!運營左結合：

https://ghc.haskell.org/trac/haskell-prime/wiki/ChangeDollarAssociativity

只有一個反對這一提議的說法：「這會破壞代碼「lot」。

論點支持

相反，給出有利於左結合($)，最後一個是和你一樣的四個參數，並認爲是最重要的。他們是，總之：給定的表達式f x y，有兩個應用

• 0），我們將能夠寫f $ x $ y

• 1）現在，用右結合($)，我們可以寫f . g . h $ x爲f $ g $ h $ x，

  但是：\x -> f $ g $ h $ x ==> f $ g $ h無效，

  以便寫入這種管道與組合物I因爲它允許更容易地清除代碼

• 2）左聯合（$）允許除了用（。）消除的括號外，還可以消除更多的括號。），例如：

  f (g x) (h y) ==> f $ g x $ h y

• 3）你的論點：中$!正確關聯的版本是不方便的，因爲引起了諸如：((f $! x) $! y) $! z，而不是f $! x $! y $! z

結論

我支持使用在我們的代碼開頭重新定義它們的應用程序運算符的更好的左關聯版本，如下所示：

import Prelude hiding (($), ($!)) 

infixl 0 $, $! 
($), ($!) :: (a -> b) -> a -> b 
f $ x =   f x 
f $! x = x `seq` f x 

Answer 2

這是鏡像$的固定性。對於$和$!這兩個錯誤的固定性，您都可以做出非常好的判斷。