什麼是$！在Haskell中意味着什麼？

Question

語境：

do state1 <- act state 
    dispatch $! state1 

$!做些什麼？

E.g.爲什麼這裏不只是dispatch state1？

Answer 1

$!是嚴格應用，從dispatch state1所不同的是state1保證要被評估，而不只是保持爲懶惰形實轉換。它被定義爲

f $! x = x `seq` f x 

以這種方式強制進行評估對於效率問題（例如防止內存泄漏）非常重要。