bigstep.hs
bigstep.hs
—
Haskell source code,
1 KB
Dateiinhalt
data AExp = Num Int | Var String | Plus AExp AExp | Minus AExp AExp | Times(AExp, AExp) data BExp = True | False | Neg BExp | Eq AExp AExp | Leq AExp AExp data Com = Skip | Ass String AExp | Seq Com Com | If BExp Com Com | While BExp Com type State = String -> Int evalAExp :: AExp -> State -> Int evalAExp (Num n) rho = n evalAExp (Var x) rho = rho x evalAExp (Plus a1 a2) rho = let m1 = evalAExp a1 rho m2 = evalAExp a2 rho in m1 + m2
Artikelaktionen