State Monad IO와 non-IO를 섞음

Question

간단한 변수로 State Monad를 사용하려고했는데 제대로 작동했습니다. 하지만 여기에 내가 혼합 입출력과 비 입출력을 시도하는 것 같습니다. 상태 모나드가 관리하는 배열을 가질 의도입니다. 이 배열을 읽고 쓰고 싶습니다.

내가 생각했던 것보다 더 열심히 보입니다.

 funarray :: Map.Map String (IOArray Int Int) 
     funarray = Map.empty 

     storearray :: String -> (IOArray Int Int)-> State (Map.Map String (IOArray Int Int))() 
     storearray x value = do 
     funarray <- get 
     put (Map.insert x value funarray) 

     retrievearray :: String -> State (Map.Map String (IOArray Int Int)) (Maybe ((IOArray Int Int))) 
     retrievearray arr = do 
     funarray <- get 
     return (Map.lookup arr funarray) 

     putmutablearray = do { 
        arr <- newArray (512,512) 0 ; 
        storearray "value-table" arr 
       } 
     getmutablearray = do { retrievearray "value-table";} 

     putthenget = do {putmutablearray; getmutablearray;} 

     value :: BoardState -> IO Int 
     value (BoardState xloc oloc index) = do { 
      arr <- (runState putthenget funarray); 
      v <- (readArray arr index); 
      return v 
     } 

여러 오류가 있습니다.

* Couldn't match expected type `IOArray Int Int' 
       with actual type `IO (IOArray Int Int)' 
* In the second argument of `storearray', namely `createarray' 
    In a stmt of a 'do' block: storearray "value-table" createarray 
    In the expression: do { storearray "value-table" createarray } 

혼합 할 수 있습니까?

이것은 단지 글로벌 배열입니다. 큰 것. 기계 학습 과제를 위해 큰 것들이 필요합니다.

업데이트 : 필수 언어로 전 세계적으로 이것을 저장할 것입니다.

  createarray :: IO (IOArray Int Int) 
      createarray = do { 
        arr <- newArray (512,512) 0; 
        return arr 
       } 

Answer 1

내 대답. 나는 이것이 하스켈의 관용적 인 답이라고 생각한다. 다른 전문가도 의견을 말할 수 있습니다. 배열을 전역 적으로 액세스 가능하게 만드는 방법을 모르겠습니다. 하스켈이 맞지 않다고 들었습니다.

type ArrayAccess = ReaderT (IOArray Int Int) IO 
    type ArrayWriteAccess = ReaderT (IOArray Int Int) IO() 

    readvalue :: Int -> ArrayAccess Int 
    readvalue x = do 
    a <- ask 
    b <- liftIO(readArray a x);  
    return b 

    writevalue :: Int -> Int -> ArrayWriteAccess 
    writevalue x y = do 
    a <- ask 
    liftIO(writeArray a x y)  

    -- Test array accesses 
    readfromarray = do { a <- createarray; liftIO (runReaderT (readvalue 1) a) } 
    writetoarray = do { a <- createarray; liftIO (runReaderT (writevalue 1 2) a) }