8

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

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

这对我来说似乎是合理的——我不一定想将适应度函数限制为类似Floator的类型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

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

4

1 回答 1

14

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
于 2013-06-13T23:59:13.187 回答