如果在顶层定义未装箱的Array或Vector：

myData :: VU.Vector Int
myData = ...any definition...

字符串
那么只要myData被强制为WHNF，所有的值将被完全计算，并且对myData的元素的所有访问将使用预先计算的值。
如果你不手动强制，那么当myData的元素在程序中的任何地方被第一次访问时，所有的值都将被预先计算。这可能就足够了。否则，你可以在IO monad中用evaluate强制它。下面的测试程序说明了这种方法。你应该观察到Loading myData...和DONE之间的延迟，但是在访问预先计算的元素时没有进一步的延迟。

import Control.Exception
import qualified Data.Vector.Unboxed as VU

myData :: VU.Vector Int
myData = VU.generate 1000000000 (*2)

main = do
  putStrLn "Loading myData..."
  evaluate myData
  putStrLn "DONE"
  print $ myData VU.! 10
  print $ myData VU.! 999999999

型
如果你需要在初始化中使用ST monad，也可以。只需在myData中完成所有ST的工作，并返回最终的不可变向量。例如，将上面程序中的myData替换为以下内容即可：

import qualified Data.Vector.Unboxed as VU
import qualified Data.Vector.Unboxed.Mutable as VUM
import Control.Monad.ST

myData :: VU.Vector Int
myData = runST $ do
  v <- VUM.generate 1000000000 id
  VUM.mapM_ (\x -> pure (x*2)) v
  VU.freeze v

型