より型安全なASTを定義するには

フロントエンドはガッツリ書かれているがコード生成は見当たらない

Utotch Blog: Haskell で parser を書くには (初心者編)

では、data typeはどうやって決める？

> parseTest expr "(1+2)*7+9"
Add (Mul (Add (Nat 1) (Nat 2)) (Nat 7)) (Nat 9)

Parsecで構文解析して構文木を作る - Kludge Factory

こういうASTの表現のしかたもある

でも、上のやつの方が扱いやすいかな

data Expr = Natural Integer  -- 整数リテラル
          | BinOp String Expr Expr  -- ２項演算：演算子、左辺式、右辺式
  deriving (Show)

> Right (BinOp "+" (BinOp "-" (Natural 0) (Natural 1)) (BinOp "*" (Natural 2) (Natural 3)))