runST內MonadRandom

Question

我想做runST內蘭德-單子，但我不能得到正確的類型，並從GHC輸出不是特別有幫助：輸入

import   Control.Monad 
import   Control.Monad.Random as MR 
import   Control.Monad.ST 
import   Control.Monad.Trans 
import qualified Data.Vector.Unboxed as VU 

shuffle :: (MonadRandom m) => m (VU.Vector Int) 
shuffle = do 
    k <- getRandomR (0::Int, 10::Int) 
    let vec = runST $ do 
    vector <- VU.unsafeThaw (VU.enumFromN (1::Int) k) 
    vector' <- VU.unsafeFreeze vector 
    return vector 
    return vec 

解析錯誤`矢量'

Answer 1

該錯誤通常與縮進問題有關。如果您將runST塊中的行縮進多一點，則該錯誤將消失。

下一個問題是，你正在返回錯誤的矢量（忘了'）。

最後，綁定僅用於下一行的返回函數的值是多餘的。

這裏是工作代碼：

shuffle :: (MonadRandom m) => m (VU.Vector Int) 
shuffle = do 
    k <- getRandomR (0::Int, 10::Int) 
    let vec = runST $ do 
       vector <- VU.unsafeThaw (VU.enumFromN (1::Int) k) 
       VU.unsafeFreeze vector 
    return vec 

另外，

shuffle :: (MonadRandom m) => m (VU.Vector Int) 
shuffle = do 
    k <- getRandomR (0::Int, 10::Int) 
    return $ runST $ do 
    vector <- VU.unsafeThaw (VU.enumFromN (1::Int) k) 
    VU.unsafeFreeze vector