ais*_*ais 3 evaluation haskell lazy-evaluation
在未来的GHC版本中将支持https://ghc.haskell.org/trac/ghc/wiki/StrictPragma.
所以评估可能类似于其他语言,如C,JavaScript等.
严格的评估看起来更好地表现和理解代码执行.
是的,有像(&&)这样的函数,你需要使用延迟参数,但它应该经常使用,你可以使用~.
那么,有没有理由不在大多数时间使用StrictPragma？
这实际上取决于手头的数据类型.在列表上它将是非常有害的.
f n = foldl' (+) 0 [1..n]
可以在恒定的空间内运行(即使没有砍伐森林).如果列表类型是严格的,则需要线性空间.
无限列出成语变得不可能
head $ filter p [1..]
zip xs [1..]
fibs = 0:1:zipWith (+) fibs (tail fibs)
在高性能数字代码中,严格性通常会带来更好的性能.