型システム
重要な性質
型安全
性
語用方法
型付け
をして、
型付き言語
になる
数学の型理論における型とは だいぶ違う。
スペクトラム
静的型付け
漸進的型付け
動的型付け
自明な（静的）型システム
型がトップ型 1つしかない
いわゆる動的プログラミング言語
資料
型システム 〜プログラムの安全性を支える数学〜 - Laborify
TypeScriptはgradual typingシステムか - Qiita
#プログラミング言語理論