初始化记录语法数据类型列表

Question

我可以用这种漂亮的方式初始化 Int 列表：

[2, 4 .. 20]

我只是想知道是否有任何方法可以以这种方式初始化我的数据类型列表。像这样，但使用更多的 haskell 方式：

data SieveElement = SieveElement { index :: Int,
                                   flag ::  Bool 
                                   } deriving (Show)

prepareSieve start end step
             | start > end = []
             | otherwise = [SieveElement start True] ++ (prepareSieve (start + step) end step)

let s = prepareSieve 2 20 2

Answer 1

使用列表推导式如何：

[SieveElement i True | i <- [2, 4 .. 20]]

Answer 2

虽然Sjoerd的答案是正确的方法去寻找你的代码，我觉得值得指出的是，好的列表范围语法不仅仅适用于 Int 。作为 实例的任何数据类型Enum 可以以相同的方式在列表中使用：

• [a..] 被翻译为 enumFrom a，
• [a,b..] 被翻译为 enumFromThen a b，
• [a..c] 被翻译为 enumFromTo a c，并且
• [a,b..c] 被翻译为 enumFromThenTo ab c。

不过，这对于您的示例并没有真正起作用，因为我不知道有什么好方法可以为您的类型声明这样的实例。例如，您似乎想要 succ (SieveElement if) = SieveElement (succ i) f（忽略该标志），但不清楚如何实现 toEnum :: Int -> a 和 fromEnum :: a -> Int 以这样的方式，您可以构造所有 SieveElements，同时具有 True 和 False 标志。

---

编辑：正如 newacct 在评论中指出的那样，不需要 toEnum 覆盖整个范围：考虑 Float 和 Double< /code>，其中 toEnum 仅生成整数。再举一个例子，fromEnum (pi::Double) == (3::Int)。因此，您可以定义 Enum 的实例。然而，天真地这样做是行不通的：

data SieveElement = SieveElement { index :: Int
                                 , flag  :: Bool }
                  deriving (Show)

-- Warning: broken!
instance Enum SieveElement where
  succ (SieveElement i f) = SieveElement (succ i) f
  pred (SieveElement i f) = SieveElement (pred i) f
  toEnum i = SieveElement i False -- or True
  fromEnum (SieveElement i _) = i

这对 enumFrom* 系列方法有一些不好的行为：

*Main> [SieveElement 2 True .. SieveElement 3 True]
[SieveElement {index = 2, flag = False},SieveElement {index = 3, flag = False}]

不幸的是，因为 默认 enumFrom* 实现 fromEnum/toEnum，你将失去你的标志。当然，您可以重新实现这些，但我不确定您想要什么语义，例如 [SieveElement 2 True, SieveElement 4 False .. SieveElement 10 True]。总的来说，这些是我认为