Performance 为什么在Haskell中（常量）表达式在编译时不求值？
我目前正在学习Haskell，有一件事让我感到困惑： 当我构建一个复杂的表达式（其计算将花费一些时间）并且这个表达式是常量（这意味着它只构建已知的硬编码值）时，表达式不会在编译时求值 我来自C/C++背景，已经习惯了这种优化 在Haskell/GHC中，不执行此类优化（默认）的原因是什么？如果有的话，有什么好处Performance 为什么在Haskell中（常量）表达式在编译时不求值？,performance,haskell,optimization,compile-time,compile-time-constant,Performance,Haskell,Optimization,Compile Time,Compile Time Constant,我目前正在学习Haskell，有一件事让我感到困惑： 当我构建一个复杂的表达式（其计算将花费一些时间）并且这个表达式是常量（这意味着它只构建已知的硬编码值）时，表达式不会在编译时求值 我来自C/C++背景，已经习惯了这种优化 在Haskell/GHC中，不执行此类优化（默认）的原因是什么？如果有的话，有什么好处 数据树a= 空树 |节点a（树a）（树a） 导出（显示、读取、均衡） elementToTree:：a->Tree a elementToTree x=节点x空树空树 树插入：：（Ord
数据树a=
空树
|节点a（树a）（树a）
导出（显示、读取、均衡）
elementToTree:：a->Tree a
elementToTree x=节点x空树空树
树插入：：（Ord a）=>a->a树->a树
树插入x空树=元素到树x
树插入x（节点a左-右）
|x==a=节点x左右
|xa=节点a左侧（树插入x右侧）
treeFromList:：（Ord a）=>[a]->树a
treeFromList[]=EmptyTree
treeFromList（x:xs）=treeInsert x（treeFromList xs）
treeElem:：（Ord a）=>a->Tree a->Bool
treeElem x EmptyTree=False
树元素x（节点a左-右）
|x==a=True
|xa=treeElem x右
main=do
let tree=treeFromList[0..90000]
putStrLn$show（树3树）
True几乎是立即进行。在这种情况下，GHC无法确定计算是否会完成。这不是懒惰与严格的问题，而是停滞不前的问题。对您来说，说
treeFromlist[0..90000][0..90000]Haskell的替代方法是使用模板Haskell手动执行此优化，该模板是Haskell编译时评估的宏系统。请记住Haskell有延迟评估。这适用于表达式是否为“常量”。是的，我知道。但是坚持这种（在本例中不必要的）惰性有什么好处？@ChrisJester-Young如果编译器能够保证表达式是根据严格性分析计算的呢？@ChrisJester-Young嗯，Haskell有“非严格语义”。在惰性计算允许终止的程序上不允许失败终止，但它实际上不必使用惰性计算，而且它甚至不必对所有“常量”使用相同的计算策略。好吧，假设计算永远不会完成，为什么不让编译器挂起而不是运行时？或者换句话说：是否有任何有用的计算不会停止？（除了与IO相关的东西）@DanielOertwig我不想让我的编译器挂起运行我的程序。是的，有一些有用的计算要么不会停止，需要很长时间才能停止，要么只会占用字节码中的大量空间。如果我有一棵树，但我想要的不仅仅是检查它是否有一个元素呢？编译器是否应该计算一个可能占用千兆字节硬盘空间的非常大的树，这样它就不必在运行时进行计算？@Danieloretwig这尤其有趣，因为在Haskell中，经常会有不断的未完成计算。例如，每当使用
repeat[1..]