haskell - OO Haskell 中 return 和 returnIO 的区别

Question

returnIO在OOHaskell中用于返回对象作为方法的记录。但即使使用 return 而不是 returnIO ，输出或对象行为也没有区别。 OOHaskell 代码是:

{-# LANGUAGE EmptyDataDecls, DeriveDataTypeable, TemplateHaskell #-}
{-# OPTIONS_GHC -fcontext-stack=100 #-}

module Rectangle where

import OOHaskell

$(label "getLength")
$(label "getWidth")
$(label "incr")
$(label "lengthenBy")
$(label "setLength")
$(label "setWidth")
$(label "show'")

rectangle length width self
 = do
     lengthRef <- newIORef length :: IO (IORef Int)
     widthRef <- newIORef width :: IO (IORef Int)
     return $
          getLength      .=. readIORef lengthRef
      .*. getWidth      .=. readIORef widthRef
      .*. setLength      .=. writeIORef lengthRef
      .*. setWidth      .=. writeIORef widthRef
      .*. lengthenBy    .=. (\dl ->
              do
             length <- self # getLength
             (self # setLength) (length + dl))
      .*. incr          .=. (self # lengthenBy) (1)
      .*. show'         .=. printLn ("Length : "<< self # getLength<<" Width : "<< self # getWidth)
      .*. emptyRecord

谁能解释一下为什么会发生这种情况？是什么使得对象在这两种情况下表现相同？

Answer 1

returnIO 是 return，但专门针对 IO 类型。

即:

return   :: Monad m => a ->  m a
returnIO ::            a -> IO a

参见 OOHaskell.hs 的第 75-76 行:

returnIO :: a -> IO a
returnIO = return