Haskell中如何为受Typeclass约束的参数编写各类型专属实现

错误原因 #

你当前的写法违背了Haskell多态函数的约束：getValue :: Ent entity => entity -> Float的类型签名承诺该函数支持任意实现了Ent类型类的输入类型，调用方可以传入所有符合Ent约束的参数，但你函数体中直接对Player、Enemy做模式匹配，相当于隐性限定了输入只能是这两个具体类型，和泛化的类型签名冲突，因此编译器抛出刚性类型变量匹配失败的错误。

正确实现方案 #

你需要把getValue定义为Ent类型类的成员方法，为每个实现Ent的类型单独编写实例逻辑即可：

1. 首先在类型类定义中声明getValue方法，原本Ent类型类的其他成员可以保留不变：

class Ent entity where
  getValue :: entity -> Float
  -- 原有Ent类型类的其他成员定义保留在这即可

2. 为每个自定义类型单独写Ent实例的实现：

-- Player 类型的专属实现
instance Ent Player where
  getValue (Player position _) = doA position

-- Enemy 类型的专属实现
instance Ent Enemy where
  getValue (Enemy position) = doB position

后续只要是实现了Ent类型类的新类型，你都可以通过新增对应instance的方式给它写专属的getValue逻辑，调用时直接统一使用getValue方法即可自动匹配对应类型的实现。

内容的提问来源于stack exchange，提问作者Bassie-c