Использование самых общих типов функциональных клавиш типа

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 экземпляр абонент может запросить, когда то, что вы действительно хотите некоторые конкретные один, который подходит тип лучший.

Это ММ очень хорошее приложение для связанных синонимов типа:

{-# 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