プログラミング言語の形式的意味論入門

https://gyazo.com/4fd648d3afde5af3b324e41291012704

集合論の基礎

IMPという簡易命令言語を使って理解していく

code:haskell

data N = N Integer

data T = T Bool

data Loc = Loc String

data Aexp = Num N

| Var Loc

| Add Aexp Aexp

| Sub Aexp Aexp

| Mul Aexp Aexp

data Bexp = BoolLit T

| Not Bexp

| And Bexp Bexp

| Or Bexp Bexp

| Eq Aexp Aexp

| Le Aexp Aexp

data Com = Skip

| Assign Loc Aexp

| Seq Com Com

| If Bexp Com Com

| While Bexp Com

Aexpは計算（足し算、引き算、掛け算）のような算術式