1

Is there a function can do what the function arrayToList do:

import Data.Array.ST
import Control.Monad.ST

genArray :: ST s [Int]
genArray = do
   a <- new Array (0, 99) 0 :: ST s (STArray s Int Int)
   writeArray a 0 1
   {- ... write something to the array ... -}
   return arrayToList(a)

If not, how to write one?

4

2 回答 2

7

You don't need IO for this, constructing a list is a pure operation:

genArray :: [Int]
genArray = runST $ do
  a <- newArray (0, 99) 0 :: ST s (STArray s Int Int)
  writeArray a 0 1
  {- ... write something to the array ... -}
  getElems a
于 2012-12-23T14:16:29.867 回答
1

Use stToIO and getElems:

genArray :: IO [Int]
genArray = stToIO $ do
    a <- newArray (0,99) 0 :: ST s (STArray s Int Int)
    writeArray a 0 1
    getElems a
于 2012-12-23T14:11:28.443 回答