Haskell实例定义中使用带副作用操作的实现方法咨询

首先得明确：Default类型类的def方法只能返回纯值（类型是a），而getCurrentTime是一个IO动作，返回的是IO UTCTime——它不是一个现成的UTCTime值，而是一个能获取当前时间的"操作"。你直接把这个操作塞进CustomDateStamp的构造函数里，自然会出现类型不匹配的错误，因为构造函数需要的是纯的UTCTime，不是IO包装后的版本。

Haskell的核心设计就是严格区分纯代码和有副作用的代码，所以我们不能强行把IO动作塞进纯的Default实例里，得换思路：

1. 自定义一个支持IO的"默认值"类型类（首选） #

既然Default是给纯值用的，那我们可以自己定义一个专门处理带副作用默认值的类型类：

import Data.Time.Clock (UTCTime, getCurrentTime)
import GHC.Generics (Typeable)

data CustomDateStamp = CustomDateStamp { stampValue :: UTCTime } 
  deriving (Show, Eq, Ord, Typeable)

-- 自定义支持IO的默认值类型类
class DefaultIO a where
  defIO :: IO a

instance DefaultIO CustomDateStamp where
  defIO = CustomDateStamp <$> getCurrentTime

使用的时候，直接在IO上下文中调用defIO即可：

main :: IO ()
main = do
  defaultStamp <- defIO
  print defaultStamp

这种方案完全符合Haskell的设计原则，副作用清晰可控，是最推荐的做法。

2. 绝对不推荐：用unsafePerformIO强行伪装纯值 #

如果你非要用Default实例，有一种（非常危险的）方式是用unsafePerformIO把IO动作转换成纯值：

import System.IO.Unsafe (unsafePerformIO)

instance Default CustomDateStamp where
  def = CustomDateStamp (unsafePerformIO getCurrentTime)

但必须强调：这个方法几乎总是错误的选择。unsafePerformIO会打破Haskell的纯/副作用边界，导致不可预测的行为——比如多次调用def可能返回不同的时间，或者在程序初始化阶段就执行了获取时间的操作，完全不符合你的预期。除非你对Haskell的IO模型有极其深入的理解，否则绝对不要用这个方法。

3. 直接写一个IO函数获取默认值 #

如果不需要类型类的抽象，最简单的方式就是直接定义一个IO函数：

getDefaultCustomDateStamp :: IO CustomDateStamp
getDefaultCustomDateStamp = CustomDateStamp <$> getCurrentTime

在需要默认值的地方直接调用这个函数即可，简单直接，没有任何额外的抽象开销。

Haskell的Default类型类是为纯不可变值设计的，不要试图把带副作用的操作（比如获取当前时间）塞进它的实例里。首选的解决方案是自定义DefaultIO类型类，或者直接写一个IO函数来获取带副作用的默认值——这两种方式都能清晰地分离纯代码和副作用代码，符合Haskell的设计哲学。

内容的提问来源于stack exchange，提问作者Abraham P