1

为了避免 CAF（资源共享），我尝试使用虚拟参数转换为函数，但没有成功（noCafB）。我已经阅读了如何在 Haskell 中制作 CAF 而不是 CAF？如此尝试noCafC和noCafD。使用 编译时 -O0，每次都会评估具有虚拟参数的函数。但是，-O2GHC 似乎将这些函数转换为 CAF。这是预期的行为（GHC 的优化）吗？

module Main where
import Debug.Trace

cafA :: [Integer]
cafA = trace "hi" (map (+1) $ [1..])
noCafB :: a -> [Integer]
noCafB _ = trace "hi" (map (+1) $ [1..])
noCafC :: a -> [Integer]
noCafC _ = trace "hi" (map (+1) $ [1..])
{-# NOINLINE noCafC #-}
noCafD :: a -> [Integer]
noCafD _ = trace "hi" (map (+1) $ myEnumFrom 0 1)
{-# NOINLINE noCafD #-}
myEnumFrom :: a -> Integer -> [Integer]
myEnumFrom _ n =  enumFrom n
{-# NOINLINE myEnumFrom #-}

main :: IO ()
main = do
  putStrLn "cafA"
  print $ (cafA !! 1 + cafA !! 2)
  putStrLn "noCafB"
  print $ (noCafB 0 !! 1 + noCafB 0 !! 2)
  putStrLn "noCafC"
  print $ (noCafC 0 !! 1 + noCafC 0 !! 2)
  putStrLn "noCafD"
  print $ (noCafD 0 !! 1 + noCafD 0 !! 2)

结果与-O2

$ stack ghc -- --version
The Glorious Glasgow Haskell Compilation System, version 7.10.3

$ stack ghc -- -O2 cafTest.hs
[1 of 1] Compiling Main             ( cafTest.hs, cafTest.o )
Linking cafTest ...
$ ./cafTest
cafA
hi
7
noCafB
7
noCafC
7
noCafD
hi
7

结果与-O0

$ stack ghc -- -O0 cafTest.hs
[1 of 1] Compiling Main             ( cafTest.hs, cafTest.o )
Linking cafTest ...
$ ./cafTest
cafA
hi
7
noCafB
hi
hi
7
noCafC
hi
hi
7
noCafD
hi
hi
7

我也试过没有，trace但结果是一样的。在下-O2，我发现incInt函数的结果是通过检查分析输出来共享的。为什么会有这种行为？

incIntOrg :: [Integer]
incInt = map (+1) [1..]

incInt :: a -> [Integer]  -- results IS shared. should it be?
incInt _ = map (+1) $ myEnum 0 1
{-# NOINLINE incInt #-}
myEnum :: a -> Integer -> [Integer]
myEnum _ n =  enumFrom n
{-# NOINLINE myEnum #-}
main :: IO ()
main = do
  print (incInt 0 !!  9999999)
  print (incInt 0 !!  9999999)
  print (incInt 0 !!  9999999)

任何意见将不胜感激。谢谢。

4

0 回答 0