haskell - 使用最通用的 typeclass 函数类型

Question

我正在尝试在 Haskell 中编写一个简单的遗传算法。我认为第一步应该是为“遗传”的个体创建一个类型类，如下所示:

class Genetic a where
    fitness :: (Ord b) => a -> b

这对我来说似乎是合理的——我不一定想将适应度函数限制为 Float 之类的类型。或 Double ，并且从概念上讲，适应度函数应该做的就是提供个体的排序。

但是，当我为 String 实现此类型类时包装:

data DNA = DNA String
instance Genetic DNA where
    fitness (DNA s) = length s

我在 GHC 中看到以下错误:

Could not deduce (b ~ Int)
from the context (Ord b)
  bound by the type signature for fitness :: Ord b => DNA -> b

这不是我应该如何定义类型类函数吗？我是否必须将函数限制为特定的具体类型，或者为类型类构造函数提供另一个类型变量？

Answer 1

Luqui 解释了问题所在:fitness需要能够提供任何 Ord例如，调用者可能会要求，而您真正想要的是最适合该类型的特定对象。

这是 IMO 一个非常好的关联类型同义词应用程序:

{-# LANGUAGE TypeFamilies, FlexibleInstances, FlexibleContexts #-}

class (Ord (Fitness a)) => Genetic a where
  type Fitness a :: *
  fitness :: a -> Fitness a

data DNA = DNA String
instance Genetic DNA where
  type Fitness DNA = Int
  fitness (DNA s) = length s