ATS2

値に観測者自身が思い描いた型を割り振る AppliedType

型と値の順序が逆

コンストラクタがあって値が生成されるわけではなく、

コンストラクタ

一般 型を分類された値の集合のように扱う

ATS 型を意味の形として扱うことが適切

式とは

文とは

exp0 // 型T

exp0 をexp1 に評価

exp1 // 型T

型保存 type preservation

観 view

t@pe

staload

.dats

.hats

.cats