如何避免编写琐碎的数据类型检查函数

Question

例如，我在 Haskell 中的一些数据类型最终会有很多记录

data MyData
  = A Int Int String Float Int (Char, Char)
  | B Int String Float (Char, String) String

为了检查它是什么类型，我最终编写了类似的函数

isA :: MyData -> Bool
isA (A _ _ _ _ _ _) = True
isA _ = False

-- isB and so on

现在这很快就会变得很麻烦，所以我搜索了如何使用derive 或类似于自动生成这些的东西，然后我找到了this。但是，由于引入了ghc generics 和相关的generic-deriving library，该问题中提出的library 似乎已经过时。我看过这些，但它们似乎非常强大，我不知道从哪里开始。

所以我的问题是：您如何（如果可能）避免为MyData 手动编写isA 和isB？

Answer 1

可以利用记录语法来实现这一点。

isA :: MyData -> Bool
isA A{} = True
isA _   = False

这不需要扩展，并且无论构造函数 A 需要多少参数都可以工作。

（话虽如此，我认为这些函数在 Haskell 中没有那么有用。当心“布尔盲”——即在不需要时将信息简化为布尔值。）

Answer 2

因此，一种避免盲目编写大量类型检查函数的方法是使用 this library（在 Reddit 中找到 Ry 发布 - 谢谢！）。

示例代码：

import Data.Generics.Is.TH

-- Cumbersome
printType (A _ _ _ _ _ _) = putStrLn "Is A"
printType (B _ _ _ _ _) = putStrLn "Is B"

-- With library
printType x
  | $(is 'A) x = putStrLn "Is A"
  | $(is 'B) x = putStrLn "Is B"

您只需写 $(is 'A) 或 $(is 'B) 而不是 isA 和 isB，这对我来说很好。