Der erwartete Typ 'r' konnte nicht mit dem tatsächlichen Typ 'Pferd' verglichen werden.

Question

Ich fummle mit Haskell herum, aber ich kämpfe mit einem Problem. Der folgende Code:

class HasHorses e where yieldInHorses :: (InHorses r) => e -> r 
class InHorses e 

data Horse = Horse String 
data Stable = Stable String 

instance InHorses Horse 
instance HasHorses Stable where yieldInHorses e = (Horse "Buttercup") 

gibt mir die folgende Fehlermeldung:

source_file.hs:10:52: error: 
    • Couldn't match expected type ‘r’ with actual type ‘Horse’ 
     ‘r’ is a rigid type variable bound by 
     the type signature for: 
      yieldInHorses :: forall r. InHorses r => Stable -> r 
     at source_file.hs:10:33 
    • In the expression: (Horse "Buttercup") 
     In an equation for ‘yieldInHorses’: 
      yieldInHorses e = (Horse "Buttercup") 
     In the instance declaration for ‘HasHorses Stable’ 
    • Relevant bindings include 
     yieldInHorses :: Stable -> r 
      (bound at source_file.hs:10:33) 

Wo Linie 10 zur Linie bezieht, in dem ich instance HasHorses Stable where ....

Vielleicht habe ich etwas übersehen, aber ich kann nicht sehen, warum dies ein Fehler sein sollte. Das tatsächliche Type Horse erfüllt die Bedingung von r, nämlich dass es InHorses sein sollte.

Die Idee der 'yieldInHorses' Methode ist, dass für etwas, das HasHorses, Aufruf dieser Methode darauf sollte mir sagen, die Pferde (nun, Pferd, um zu beginnen - Dies wird Listen bald umfassen), dass es hat.

Habe ich einen einfachen Fehler gemacht oder etwas grundlegenderes falsch verstanden?

Answer 1

Ich denke, Sie suchen nach zugeordneten Typen.

{-# LANGUAGE TypeFamilies #-} 
{-# LANGUAGE FlexibleContexts #-} 

class HasHorses e where 
    type R e :: * 
    yieldInHorses :: (InHorses (R e)) => e -> R e 

class InHorses e 

data Horse = Horse String 
data Stable = Stable String 

instance InHorses Horse 

instance HasHorses Stable where 
    type R Stable = Horse 
    yieldInHorses e = (Horse "Buttercup") 

test = yieldInHorses (Stable "asd") 

Hier, wenn wir definieren die HasHorses Instanz wir auch definiert, was das zugehörige Pferd Typ ist.

Wie @Alexis King erwähnt, erlaubt Ihre Unterschrift für yieldInHorses der Anrufer zu bestimmen, was der Rückgabetyp ist. Zum Beispiel, sie könnte fragen:

yieldInHorses (Stable "asd") :: Int 

Aber es scheint, dass Sie eine bestimmte Art auf der Instanz auf Basis zurückkehren möchten Sie definieren.

aktualisieren

Hier ist anthere Weise die Signatur für yieldInHorses zu schreiben, die für FlexibleContexts die Notwendigkeit beseitigt und arbeitet mit GHC 8:

yieldInHorses :: (InHorses r, r ~ R e) => e -> r 

Answer 2

Wie oben in einem Kommentar erwähnt, die Art (InHorses r) => e -> r von yieldInHorses bedeutet, dass, wenn ein Wert vom Typ e angegeben wird, ein Wert von Typ r t zurückgegeben werden kann Hut erfüllt die Bedingung InHorses. Die Implementierung gibt jedoch immer einen spezifischen r, Horse zurück.

Es ist schwer zu wissen, was am besten für Sie funktioniert, da das Beispiel unvollständig zu sein scheint (der Stable Wert wird in der Implementierung von yieldInHorses ignoriert). Wenn ein Stable kann nur produzieren Horse s, die funktionale Abhängigkeit oder Typ Familie Ansätze macht Sinn. Wenn jedoch ein Stable einen Zustand beibehält, der dann dazu verwendet werden kann, irgendeinen InHorses r => r zu erzeugen, könnte vielleicht ein Konstruktor-Ansatz nützlich sein.Wenn zum Beispiel alle InHorses sind in der Lage von einem String gebaut werden:

class InHorses e where makeHorse :: String -> e 
instance InHorses Horse where makeHorse s = Horse s 

instance HasHorses Stable where yieldInHorses e = makeHorse "Buttercup"