如何在Haskell中转储循环融合的结果？

Question

第2.3.1.1节＆＃34;关于融合的说明＆＃34; Haskell Wiki's Numeric Haskell page通过显示优化代码来解释循环融合，如下所示：

优化前：

import qualified Data.Vector as V

test :: V.Vector Int -> Double
test = V.foldl (\ a b -> a * sqrt (fromIntegral b)) 0

create :: Int -> V.Vector Int
create n = (V.enumFromTo 1 n)

main = print (test (create 1000000))

优化后：

main_$s$wfoldlM_loop :: Int# -> Double# -> Double#
main_$s$wfoldlM_loop =
  \ (sc_sWA :: Int#) (sc1_sWB :: Double#) ->
    case <=# sc_sWA 1000000 of _ {
      False -> sc1_sWB;
      True ->
        main_$s$wfoldlM_loop
          (+# sc_sWA 1)
          (*##
             sc1_sWB (sqrtDouble# (int2Double# sc_sWA)))
    }

我很好奇如何看到这样的优化代码。文章提到了 ghc-core tool ，但没有显示具体的命令。

Answer 1

一般来说，你想看一下GHC Core。查看核心输出的主要选项是使用-ddump-simpl进行GHC，描述为。还有许多标志可以修改输出（使其更简单），例如-dsuppress-all。

可以找到有关实际阅读核心的信息here。