我应该使用类型类吗？

Question

我很难理解在我的代码中何时使用和何时不使用 typeclass。当然，我的意思是创建我自己的，而不是使用已经定义的类型类。举个例子（非常愚蠢的例子），我应该这样做：

data Cars = Brakes | Wheels | Engine
data Computers = Processor | RAM | HardDrive  

class Repairable a where
    is_reparaible :: a -> Bool

instance Repairable Cars where
    is_repairable (Brakes) = True
    is_repairable (Wheels) = False
    is_repairable (Engine) = False

instance Repairable Computers where
    is_repairable (Processor) = False
    is_repairable (RAM)       = False
    is_repairable (HardDrive) = True

checkState :: (Reparaible a) => a -> ... 
checkState a = ...

（显然，这是一个愚蠢的、不完整的例子）。

但是这有很多用处，不是吗？为什么我不应该做一些简单的事情，只定义函数而不定义新的数据类型和类型类（及其实例）。

这个例子太简单了，但实际上我在 github 上浏览 Haskell 代码时经常看到类似的东西（新数据类型+类型类+实例），而不仅仅是定义函数。

那么，什么时候应该创建新的数据类型、类型类等，什么时候应该使用函数？

谢谢。

Answer 1

为什么我不应该做一些简单而只定义函数的事情 无需定义新的数据类型和类型类（及其 实例）。

为什么？你可以定义：

checkState :: (a -> Bool) -> (a -> b) -> (a -> b) -> a -> b
checkState is_repairable repairs destroy a
    = if (is_repairable a) then repairs a else destroy a

人们一直在滥用类型类。这并不意味着它是惯用的。

为了回答您更一般的问题，以下是一些关于何时使用类型类以及何时不使用它们的经验法则：

在以下情况下使用类型类：

• 每个给定类型只有一个正确的行为

• 类型类具有所有实例必须满足的相关方程（即“定律”）

在以下情况下不要使用类型类：

• 您正在尝试仅命名事物。这就是模块和命名空间的用途。

• 如果不查看实例的源代码，使用您的类型类的人无法推断其行为方式

• 您发现必须打开的扩展程序失控

Answer 2

您通常可以使用数据类型而不是类型类，例如

data Repairable a = Repairable 
   { getRepairable :: a
   , isRepairable :: Bool
   , canBeRepairedWith :: [Tool] -> Bool  -- just to give an example of a function
   } 

当然，您需要显式传递此值，但如果您有多种选择，这可能是一件好事（例如，将Sum 和Product 视为数字可能是Monoids）。除了你有或多或少与类型类相同的表现力。