haskell - 为什么 GHC 不针对常量进行优化？

Question

import Data.List
a = foldl' (+) 0 [1..99999999]
main = putStrLn $ show $ a

该程序需要一段时间才能运行。但是 a不依赖于任何东西，因此是恒定的。它可以在编译时完美计算。为什么 GHC 不为此进行优化？是否有这样做的标志，或者我应该用值本身替换那种常量计算？

Answer 1

这不是一个完美的解决方案，但正如 kqr 已经指出的那样，您当然可以使用 Template Haskell 实现您的目标:

{-# LANGUAGE TemplateHaskell #-}

import Language.Haskell.TH
import Data.List

a :: Integer
a = $( return . LitE . IntegerL $ foldl' (+) 0 [1..99999999] )

main = print a

这将生成整数文字 4999999950000000从 fold 表达式开始，在实际开始编译程序之前。