为什么是$！操作者右联？

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

这是镜像$的固定性。对于$和$!这两个错误的固定性，您都可以做出非常好的判断。