Uso dei più comuni tipi di tipi di tipi di font

Question

Sto provando a scrivere un semplice algoritmo genetico in Haskell. Ho pensato che il primo passo dovrebbe essere quello di fare un typeclass per gli individui che sono 'genetica', in questo modo:

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

Questo mi sembra ragionevole - Non necessariamente voler limitare le funzioni di fitness a un tipo come Float o Double e concettualmente tutta la funzione di idoneità dovrebbe fare è fornire un ordine degli individui.

Tuttavia, quando a implementare questo typeclass per un String involucro:

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

vedo il seguente errore nel GHC:

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

Non è questo come dovrei definire le funzioni typeclass? Devo limitare la funzione a un tipo concreto specifico o fornire un'altra variabile di tipo al costruttore typeclass?

Answer 1

Luqui spiegato qual è il problema: fitness sarebbe bisogno di essere in grado di fornire qualsiasi Ord esempio il chiamante potrebbe richiedere, quando ciò che si vuole veramente è qualcuno specifica che si adatta al tipo migliore.

Questo è IMO una bella domanda di sinonimi associati Tipo:

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