型システム

読み方、または別称：

type system

型システムとは

型システム（type system）とは、プログラミング言語において値や式をデータ型に分類し、型を扱い、またそれらが相互作用する方式を定義する仕様及び実装である。

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ 型システムの改定履歴 ]