我刚刚学习 Haskell，我仍然不完全清楚何时以及如何强制执行严格的评估
当我想要一个函数严格评估它的参数时，我发现自己在写作
((f $! x) $! y ) $! z
这看起来很奇怪。不应该$！是左联想的，所以我可以写
f $! x $! y $! z
让它做我想做的事？
我完全误解了$！运营商？
【问题讨论】：
!$ 与 $! 的反向固定来做你想要的？
标签： haskell lazy-evaluation associativity
这是为了反映$ 的固定性。您可以为 $ 和 $! 的固定性错误提供一个很好的案例。
【讨论】：
*%^*%^*&&$&%^ 是 Haskell 运算符吗？好吧，如果某个库定义了它，它可能是。
我在 haskell-prime 中找到了 2008 年的一项提议，使 $ 和 $! 运算符左关联：
https://ghc.haskell.org/trac/haskell-prime/wiki/ChangeDollarAssociativity
反对该提议只有一个论点：“这会破坏很多代码”。
相反，给出了四个支持左关联($)的参数，最后一个与您的相同，并且被认为是最重要的。简而言之，它们是：
0) 给定表达式f x y，如果有两个应用程序，我们可以写成f $ x $ y
1) 现在，有了右结合($)，我们可以把f . g . h $ x写成f $ g $ h $ x，
然而：\x -> f $ g $ h $ x ==> f $ g $ h 无效，
这样使用组合编写这样的管道会更好，因为它可以更轻松地清理代码
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
【讨论】：
$ 的引用策略以传统样式f $! g $! x 翻译表达式，需要某种严格的组合：f .! g $! x。我想知道：库中是否已经定义了这样的运算符？
<$> 与当前常规的$ 一致：f <$> g <$> x 似乎等同于f . g <$> x。但是<$> 的另一个左关联版本没有多大意义，因为使用多个 Applicative 参数被写为 f <$> x <*> y 或 g <*> x <*> y（对于纯 f 或 Applicative g）。 <*> 似乎已经是左关联的（正如 Haskell-prime 中的 $ 所需要的那样），并且优先级低于 <$>。
<$> 是左关联in the latest base（因此，与常规的$ 不一致），与我在上面的评论中所说的相反。但是我的<$> 来自我系统上的一个较旧的基地，是正确的关联！ （show <$> show <$> Just 3 给我Just "\"3\""；或I don't understand what is happening, so I asked a question）
(.!)：Strict composition。