HytlのAST
code:hytl
newtype Program = Program Stmt deriving (Show, Eq)
data Stmt
= Exp Exp
| Assign String Exp
| If Exp Exp Exp
deriving (Show, Eq)
data Exp
= Nat Integer
| Bool Bool
| Add Exp Exp
| Sub Exp Exp
| Mul Exp Exp
| Div Exp Exp
| Eq Exp Exp
| Gt Exp Exp
| Ge Exp Exp
| Lt Exp Exp
| Le Exp Exp
| Var String
| Lambda String Exp
| App String Exp
deriving (Eq, Show)
If文
関数と変数
https://gyazo.com/f968de3850dcd1d33aa320aaba3fc8af
Statement
https://wiki.haskell.org/Parsing_expressions_and_statements
文
Program
Stmtのリスト