为什么smallCheck的`Series`类在构造函数中有两种类型？

Question

这个问题与我的other question有关smallCheck的Test.SmallCheck.Series类有关。当我尝试以以下自然方式定义类 Serial 的实例时（@tel 对上述问题的回答向我建议），我得到编译器错误：

data Person = SnowWhite | Dwarf Int
instance Serial Person where ...

原来Serial 想要有两个参数。反过来，这需要一些编译器标志。以下作品：

{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-}
import Test.SmallCheck
import Test.SmallCheck.Series
import Control.Monad.Identity

data Person = SnowWhite | Dwarf Int

instance Serial Identity Person where
        series = generate (\d -> SnowWhite : take (d-1) (map Dwarf [1..7]))

我的问题是：

1. 把Identity 放在那里是“正确的做法”吗？我的灵感来自 Test.Series.list 函数的类型（当我第一次看到它时我也觉得非常奇怪）：

   list :: Depth -> Series Identity a -> [a]
   

   什么是正确的做法？如果我一看到Identity就盲目地输入它，我会好吗？我应该改用Serial m Integer => Serial m Person 之类的东西吗（这需要一些看起来更可怕的编译器标志：至少FlexibleContexts 和UndecidableInstances）？

2. 第一个参数（Serial m n 中的 m）是做什么用的？

   谢谢！

Answer 1

我只是smallcheck的用户而不是开发者，但我认为答案是

1) 不是真的。你应该让它保持多态，你可以在没有上述扩展的情况下做到这一点：

{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-}
import Test.SmallCheck
import Test.SmallCheck.Series
import Control.Monad.Identity

data Person = SnowWhite | Dwarf Int deriving (Show)

instance (Monad m) => Serial m Person where
        series = generate (\d -> SnowWhite : take (d-1) (map Dwarf [1..7]))

2) 系列目前定义为

newtype Series m a = Series (ReaderT Depth (LogicT m) a)

这意味着 m 是 LogicT 的基本 monad，用于生成系列中的值。例如，写 IO 代替 m 将允许 IO 操作在生成系列时发生。

在 SmallCheck 中，m 也出现在 Testable 实例声明中，例如 instance (Serial m a, Show a, Testable m b) => Testable m (a->b)。如果您只有Identity 的实例，则这具有具体的效果，即无法使用诸如smallCheck :: Testable IO a => Depth -> a -> IO () 之类的预先存在的驱动程序函数。

实际上，您可以通过编写自定义驱动程序函数来利用这一事实 交错一些单子效应，如在所述驱动程序内记录生成的值（或一些这样的值）。

它也可能对我不知道的其他事情有用。