Ausdruck Bewertungsbaum in Haskell

Question

In einer Prüfung heute wurde ich gebeten, einen Ausdruck Bewertungsbaum in Haskell zu erstellen. Normalerweise ist die Antwort so einfach wie:

data Expr = Value Integer 
      | Add Expr Expr 
      | Sub Expr Expr 
      | Mul Expr Expr 

Und es zu bewerten, müssen Sie nur eine Funktion verwenden, wie zum Beispiel:

eval :: Expr -> Integer 
eval (Value x) = x 
eval (Add l r) = eval l + eval r 
eval (Sub l r) = eval l - eval r 
eval (Mul l r) = eval l * eval r 

aber heute waren wir einen Datentyp gegeben:

data Op = Add 
     | Sub 
     | Mul 

Also nahm ich an, den Ausdruck Baum zu erstellen, den ich gerade tun konnte:

data Expr = Value Integer 
      | Op Expr Expr 

Und verwenden Sie die gleiche eval Funktion. Ich habe diese Funktion jedoch geschrieben und in GHCI geladen, aber es scheint nicht zu funktionieren. Kann jemand erklären, warum das nicht funktioniert?

Answer 1

Sie müssen einen Daten Konstruktor (vorausgesetzt, einen Namen)

data Expr = Value Integer | Compute Op Expr Expr 
          ^^^^^^^ 

dann

eval :: Expr -> Integer 
eval (Value x) = x 
eval (Compute Add l r) = eval l + eval r 

und so weiter definieren.

:)