haskell - 我可以在这里使用绑定(bind)/fmap吗

Question

loadTexture :: String -> IO (Either String GL.GLuint)
loadTexture filename = do
    p <- PNG.loadPNGFile filename
    oglLoadImg p
    where
        oglLoadImg :: (Either String PNG.PNGImage) -> IO (Either String GL.GLuint)
        oglLoadImg (Left e) = return $ Left e 
        oglLoadImg (Right png) = do
            ... I need todo IO stuff in here

上面的代码看起来真的很臃肿和讨厌。我能做些什么来使它更简单？

Answer 1

您基本上想要 Either e 的组合monad 和 IO单子(monad)。就是这样 monad transformers是给!

在这种情况下，您可以使用 the ErrorT monad transformer使用 Either 添加错误处理到底层 monad，在本例中为 IO .

import Control.Monad.Error

loadTexture :: String -> IO (Either String GL.GLuint)
loadTexture filename = runErrorT $ ErrorT (PNG.loadPNGFile filename) >>= oglLoadImg
    where
        oglLoadImg :: PNG.PNGImage -> ErrorT String IO GL.GLuint
        oglLoadImg png = do
            -- [...]

这保留了旧界面，尽管使用 ErrorT 可能会更好。也适用于您的功能，并调用 runErrorT在您的 main功能。

loadTexture :: String -> ErrorT String IO GL.GLuint
loadTexture filename = ErrorT (PNG.loadPNGFile filename) >>= oglLoadImg
    where
        oglLoadImg :: PNG.PNGImage -> ErrorT String IO GL.GLuint
        oglLoadImg png = do
            -- [...]

Monad 转换器可能需要一些时间来适应，但它们非常有用。