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

Question

语境：

do state1 <- act state 
    dispatch $! state1 

$!做些什么？

E.g.为什么这里不只是dispatch state1？

Answer 1

$!是严格应用，从dispatch state1所不同的是state1保证要被评估，而不只是保持为懒惰形实转换。它被定义为

f $! x = x `seq` f x 

以这种方式强制进行评估对于效率问题（例如防止内存泄漏）非常重要。