Question

在OOHaskell中使用

returnIO 将对象作为方法记录返回。但即使使用 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

OO Haskell中return和returnIO之间的区别

1 个答案: