haskell - 理解 Haskell 中的 $

Question

我很难理解以下代码(在 IO 之上的 ErrorT monad 中执行):

closePort [Port port] = liftIO $ hClose port >> (return $ Bool True)

>> 的优先级高于 $。那么是 Bool True 首先包装在 IO 中，然后用 liftIO 提升，还是先提升 hClose ？换句话说， >> 和 return 是在 IO monad 中执行还是在 ErrorT monad 中执行？

Answer 1

在这种情况下，您实际上不必担心优先级，因为

liftIO (hClose port >> return (Bool True))

和

liftIO (hClose port) >> return (Bool True)

由于单子(monad)变换定律，必须是等价的，它说

1. 提升return不会执行任何操作。

   lift . return = return
   

2. 提升一系列两个操作与分别提升它们相同。

   lift (m >>= f) = lift m >>= (lift . f)
   

liftIO 也应该遵循这些规律，所以我们可以看到

liftIO (hClose port >> return (Bool True))
= -- definition of >>
liftIO (hClose port >>= \_ -> return (Bool True))
= -- second monad transformer law
liftIO (hClose port) >>= \_ -> liftIO (return (Bool True))
= -- first monad transformer law
liftIO (hClose port) >>= \_ -> return (Bool True)
= -- definition of >>
liftIO (hClose port) >> return (Bool True)