型システム
en:
type system
重要な性質
型安全
性
formal に あつかう なら、保存定理と進行定理で証明される。
用語
型付け
をして、
型付き言語
になる。
misc.
数学の型理論における型とは だいぶ違う。
spectrum
静的型付け
漸進的型付け
動的型付け
Cor.
自明な（静的）型システム
型がトップ型 1つしかない
いわゆる動的プログラミング言語
資料
型システム 〜プログラムの安全性を支える数学〜 - Laborify
TypeScriptはgradual typingシステムか - Qiita
#プログラミング言語理論