컴파일 오류가 복잡한 오류 메시지

Question

을 나는 IO 모나드에서 실행되는 기능을 가지고 :

withDB :: (forall c. IConnection c => c -> IO b) -> IO b 
withDB fn = bracket (connectSqlite3 "int/db.sqlite3") disconnect fn 

을 그리고 지금은 일부 MonadIO m에서 실행을 일반화하기로 결정했다. 나는 방법 다음 그것을했다, 다시 발명으로 bracket을 내 scope (당신은 라이브러리의 일부를 알 수 있습니까?) :

Could not deduce (m ~ IO) 
from the context (MonadIO m) 
    bound by the type signature for 
    withDB :: MonadIO m => (forall c. IConnection c => c -> m b) -> m b 
    at src\... 
    'm' is a rigid type variable bound by 
    the signature for 
     withDB :: MonadIO m => (forall c. IConnection c => c -> m b) -> m b 
Expected type: IO b 
    Actual type: m b 
In the third argument of 'scope' namely 'fn' 
In the second argument of '($)', namely 
    'scope 
    (liftIO $ connectSqlite3 "int/db.sqlite3") 
    (\x -> liftIO $ disconnect x) 
    fn' 

그리고 지금 내 질문 :

나는 오류가 발생했습니다

scope :: MonadIO m => m a -> (a -> m b) -> (a -> m c) -> m c 
scope before after action = do 
    x <- before 
    r <- action x 
    _ <- after x 
    return r 

withDB :: MonadIO m => (forall c. IConnection c => c -> m b) -> m b 
withDB fn = liftIO $ scope 
         (liftIO $ connectSqlite3 "int/db.sqlite3") 
         (\x -> liftIO $ disconnect x) fn 

1. m ~ IO는 무엇을 의미합니까? 처음 두 줄의 오류는 무엇이라고 말합니까? 또한,이 ~ haskell 코드에서 건설 보았다하지만 그것을 찾을 수 없습니다. 신장? 고정 유형 변수 란 무엇입니까?

2. 오류가 발견되어 해결되었습니다. scope 전에 liftIO $을 제거하면 충분합니다. 하지만 그냥 재 시도주기였습니다. 이 오류 메시지의에 오류 위치에 대한 정보가 있습니까? 나는 'fn'에 뭔가 잘못된 것을 본다. 좋아, 나는 그것에 대해 조금 생각하고 추측했다 : GHC는 위에서 아래로 타입을 추론한다. 그리고 liftIO은 m이 IO이어야하지만 fn은 일반적인 유형이 m이므로 오류입니다. haskell 컴파일러는 위에서 아래로 유추합니까? 그리고 (더 중요한) GHC가 산출물의 하위 표현에 대해 유추하는 유형을 볼 수 있습니까?

이 긴 질문을 읽어 주셔서 감사합니다.

Answer 1

liftIO :: (MonadIO m) => IO a -> m a는 liftIO $ scope ... 말하여, 그래서 당신이 scope ...이 유형 IO b이 있어야 말을하는지, IO 조치를 취합니다. 즉, scope에 대한 인수는 IO 모나드를 사용해야합니다. scope의 사용이 m이 IO을해야 보장하기 때문에, 당신은 상황에서 이러한 유형의 것으로 scope 생각할 수 있습니다 :이 때문에

scope :: IO a -> (a -> IO b) -> (a -> IO c) -> IO b 

의 liftIO의 내부 scope 호출 할 아무것도; 그들은 단순히 IO a에서 IO a으로 변환 중이고 이 아닌 m에서 작동하므로 fn을 사용할 수 없습니다. liftIO은 (fn이 실행 중이므로 IO이 아니기 때문에)에서 실행하지 않고 을 직접 실행하고 m으로 실행했기 때문에 해결되었습니다.