■ WindowsプログラマのためのLinuxプログラミング 〜GTK+-2.0とWindowsAPIの比較〜

■ [Haskell] IOとMonadIO

たとえば、HDBCを使うときに普通にIOモナドの中から直接扱うには、

f :: IO ()
f = bracket (connectODBC dsn)
            (disconnect)
            (\conn -> ...)

のようにすればOKです。ところがこれをIOモナドを合成するモナドの中で扱うとすると、bracketの型がIO a -> (a -> IO b) -> (a -> IO c) -> IO cなのでbracketの中に入れることができません。例外を無視すればこんな感じに書きたいところなのですが、

g = do conn <- liftIO $ connectODBC dsn
       ...
       liftIO $ disconnect conn

こうは書けません。

h = liftIO $ bracket (connectODBC dsn)
                     (disconnect)
                     (\conn -> ...)

そもそもbracketが、MonadIO m => m a -> (a -> m b) -> (a -> m c) -> m cになっていれば良いのにと思って自前のbracketを定義しようとすると、blockとunblockがIO a -> IO aなのでうまく定義できません（非同期例外を無視すればblockとunblockなしでも良いような気がしますが）。

その他にも、合成したIOが例外を投げてくる場合には、外側のモナドを一回実行してから再度実行しなおすというのをモナドごとに手で書く必要があってどうしたものか*1と思っていたのですが、そのままずばりの話がHaskell'に出ていました。Generalize types of IO actions。ステータスを見るとmaybeになっているので入ることを期待してます。