Question: In HASKELL, implement both the semantic function and a type checker for Prog, defined below. type Var = String data Stmt = Alloc Var |
In HASKELL, implement both the semantic function and a type checker for Prog, defined below.
type Var = String data Stmt = Alloc Var | Assign Var Expr data Expr = N Int | Bo Bool | Plus Expr Expr | If Expr Expr Expr | Equal Expr Expr | Retrieve Var -- Try to get the value for the variable from the state type Prog = [Stmt]
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
Study Help