实例声明中的副作用

Question

假设我想为UTCTime 创建一个包装器：

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

现在说我想为“现在”构建一个默认值，例如

instance Default CustomDateStamp where
    def = CustomDateStamp getCurrentTime def

这（显然）失败了：

   • Couldn't match expected type ‘UTCTime’
                  with actual type ‘IO UTCTime’
    • In the first argument of ‘CustomDateStamp’, namely ‘getCurrentTime’
      In the expression: CustomDateStamp getCurrentTime def
      In an equation for ‘def’: def = CustomDateStamp getCurrentTime def
    |
98  |     def = CustomDateStamp getCurrentTime def
    |                   ^^^^^^^^^^^^^^

我的问题是，如何在实例定义中使用副作用操作？这甚至可能吗？处理这种情况的首选方法是什么？

Answer 1

第一个近似值：你不能那样做。一旦进入 IO，总是在 IO 中（并且已经有一个 Default 实例为 IO a 不做你想要的）。制定一个不同的计划。

Answer 2

我认为您可以为默认值需要 IO 操作的类型编写此代码，

instance {-# OVERLAPPING #-} Default (IO CustomDateStamp) where
    def = CustomDateStamp <$> getCurrentTime

（例如 mtl 堆栈可轻松调整）。有点争议，因为重叠很顽皮。

编辑：需要 OVERLAPPING，IO CustomDateStamp 比 IO a 更具体，因此它应该在范围内选择此实例。

Answer 3

由于getCurrentTime :: IO UTCTime，您不能直接调用它。没有IO a -> a类型的函数

unsafePerformIO 除外（以及其他类似的魔法）。我强烈劝阻你不要走那条路。