Powtórna ocena czystego wyrażenia w akcji IO

Question

Mam procedurę, która (a) wykonuje niektóre operacje wejścia/wyjścia, (b) tworzy tabelę odnośników, i (c) zwraca operację we/wy, która używa tabeli odnośników. Jednak po skompilowaniu z -O, GHC (wersja 6.12.1) naświetla konstrukcję tabeli odnośników, dzięki czemu jest ona ponownie oceniana dla każdego wywołania działania IO.

Przykład:

module Main where 
import Data.Array 
import Data.IORef 
import Control.Monad 

makeAction getX getY sumRef = do 
    x <- getX 
    let a = listArray (0, 1000) [x ..] 
    return $ do 
     y <- getY 
     modifyIORef sumRef (\sum -> sum + a ! y) 

main = do 
    sumRef <- newIORef 0 
    action <- makeAction getX getY sumRef 
    replicateM_ 100000 action 
    n <- readIORef sumRef 
    putStrLn (show n) 
    where 
    getX = return (1 :: Int) 
    getY = return 0 

Jest to problem znany wystarczy mieć standardową GHC-niezawodny obejście - albo jak można ustawić program tak, że a nie jest wielokrotnie są rozdzielone?

Answer 1

Najprostszym rozwiązaniem jest zmusić ocenę za pomocą adnotacji surowości.

{-# LANGUAGE BangPatterns #-} 

Następnie wymusić podział prostu co a ścisłego użyciu ! ("Bang").

let !a = listArray (0, 1000) [x ..] 

Alternatywnie, jeśli pracujesz w IO monady, surowość adnotacje nie zawsze może pomóc. Aby wymusić ocenę wyrażenia przed uruchomieniem jakiejś akcji, można użyć evaluate. Na przykład:

let a = listArray (0, 1000) [x ..] 
    evaluate a 

Answer 2

spróbuj wymusić a przy konstruowaniu wartości jednowartościowy powrotu:

makeAction getX getY sumRef = do 
    x <- getX 
    let a = listArray (0, 1000) [x ..] 
    return $ a `seq` do 
     y <- getY 
     modifyIORef sumRef (\sum -> sum + a ! y)