Korzystanie z najbardziej ogólnych typów funkcji typeclass

Question

Próbuję napisać prosty algorytm genetyczny w Haskell. Pomyślałem, pierwszym krokiem powinno być dokonać typeclass dla osób, które są „genetyczne”, tak:

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

To wydaje mi się rozsądne - nie koniecznie chcą, aby ograniczyć funkcje przydatności do określonego typu jak Float lub konceptualnie wszystkie funkcje fitness powinny zapewniać zamawianie osób.

Jednak, kiedy wdrożyć ten typeclass dla String Wrapper:

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

widzę następujący błąd w GHC:

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

czy nie jest to w jaki sposób należy określić funkcje typeclass? Czy muszę ograniczyć funkcję do określonego typu betonu lub podać inną zmienną typu do konstruktora typeclass?

Answer 1

Luqui wyjaśnił na czym polega problem: fitness musiałby być w stanie zapewnić żadnegoOrd instancji rozmówca może żądać, kiedy to, co naprawdę chcesz to jakiś specyficzny że pasuje rodzaj najlepszą.

To jest IMO bardzo miłe dla aplikacji związanych synonimami typu:

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