Haskell падает с runST и Data.Vector.Unboxed.Mutable

Question

В процессе обучения и экспериментирования использование Data.Vector.Unboxed.Mutable с runST придумал этот код:

{-# LANGUAGE BangPatterns #-} 
import qualified Data.Vector.Unboxed.Mutable as UVM (unsafeNew, unsafeWrite, unsafeRead) 
import Control.Monad.ST 

test :: Int -> Int 
test len = runST $ do 
    vec <- UVM.unsafeNew (len - 1) 
    let 
     fill !i 
      | i >= len = sumVec 0 0 
      | otherwise = do 
       UVM.unsafeWrite vec i i 
       fill (i + 1) 
     sumVec !k !total 
      | k >= len = return total 
      | otherwise = do 
       x <- UVM.unsafeRead vec k 
       sumVec (k + 1) (total + x) 
    fill 0 

testParent = test 5 

Если я запускаю это, Haskell перестает работать. Я пришел к этому, пытаясь сделать эту работу:

test :: Int -> Int 
test len = do 
. 
. 
. 
testParent = runST $ test 5 

Но без успеха.

• Зачем нужен Haskell (7.8.3) с предоставленным кодом?
• Как я могу вычислить функцию test, используя runST, но за пределами test? Читал в this, но все еще не понял, почему он не работает.

Answer 1

В этой строке:

vec <- UVM.unsafeNew (len - 1) 

вы создаете вектор длины len-1. Но вы пишете индексы от 0 до len-1, поэтому вам нужен вектор длины len.

Смените это на len и оно будет работать.

Что касается вашего второго вопроса, то вы можете использовать runST так:

-- test now begins with the `do` statement 
test len = do 
    vec <- UVM.unsafeNew len 
    ... 

main = print $ runST $ test 5 

главное теперь, чтобы обернуть вызов, чтобы проверить в runST.