型システムにおける反例

- このサイトは、型システムの研究者・実践者であるMatt Might氏（元アラバマ大教授、元NIH主席ソフトウェアエンジニア）が運営する、型システムの「反例」を集めた教育的リソース。 - 「ある型システムの性質が成り立つ」と一般に（暗に）信じられている主張に対し、その主張を破る具体的な言語機能やコード例を示す。たとえば「型推論は停止する」「健全な型システムは実行時エラーを防ぐ」といった通説に、HaskellやJava、TypeScriptなどの実例で反証を挙げている。 - 対象読者は、OCamlやRustなど強い静的型付けの言語を使ったことがあり「型システムはバグをほぼ撲滅できる」と楽観している中級〜上級プログラマ。このサイトは、現実の型システムは理論上の「健全性」からは程遠い妥協の産物であり、どの型システムにも穴がある、という冷静な視点を提供する。