Matching erwarteten Typ mit tatsächlichen Typ

Question

Was ich zur Zeit versucht, eine Art Value genannt zu tun ist, erstellen

eval :: Value -> Int 
eval (Num x) = x 
eval (Sum x y) = x + y 
eval (Dif x y) = x - y 
eval (Neg x) = -x 

Meine erwarteten Ergebnisse sein sollte:

eval $ Dif (Sum (Num 3) (Num 6)) (Neg 4) 
> 13 

Mit meinem aktuellen Code ich bin jeden Betreiber von themselve testen können s und sie funktionieren.

eval (Dif 3 4) 
>-1 

Das Problem entsteht, wenn ich versuche, die verschachtelten Operationen in der erwarteten Eingabe auszuführen oben, wie ich dann den Fehler:

"Couldn't match expected type Int with actual type Value "

Ich versuche, das Problem zu verstehen, wie ich meinen Betrieb gedacht sollte eine Int zurückgeben und da meine Value Typen eine Int nehmen, sollte die nächste Operation den erwarteten Typ haben. Ich habe verschiedene Eingänge getestet, um zu sehen, was meine aktuelle Funktion eval tatsächlich tut, und festgestellt, dass, wenn ich

eval (Dif (eval (Sum 3 5)) 4) 
>4 

ich das erwartete Ergebnis. Was mache ich hier falsch?

Answer 1

data Value = Num Int 
      | Sum Int Int 
      | Dif Int Int 
      | Neg Int 

Hier haben Sie angegeben, dass die Value Konstrukteure auf Int Werte nur dann funktionieren, zum Beispiel hat Neg den Typ Int -> Value. So können Sie nicht etwas wie Neg (Neg 1) oder Sum (Num 1) (Num 2) schreiben, weil Sie versuchen, ein getaggtes Value zu verwenden, wo ein unmarkiertes Int erwartet wird. In Lisp wäre es so, als ob Sie (Num . 1) übergeben haben, wenn eine Funktion nur 1 erwartet.

Sie können die Definition Ihrer Typ verändern Value zu akzeptieren:

data Value = Num Int 
      | Sum Value Value 
      | Dif Value Value 
      | Neg Value 

Nun stellt dies Ausdrücke, wo Num ist eine wörtliche Int aber die anderen Konstrukteure arbeiten auf Value s. Dann ändert sich die eval Funktion entsprechend: