Jisho

×
Wikipedia definition
1. Type systemA type system associates a type with each computed value. By examining the flow of these values, a type system attempts to ensure or prove that no type errors can occur. The particular type system in question determines exactly what constitutes a type error, but in general the aim is to prevent operations expecting a certain kind of value being used with values for which that operation does not make sense; memory errors will also be prevented.
Read “Type system” on English Wikipedia
Read “型システム” on Japanese Wikipedia
Read “Type system” on DBpedia

Discussions

to talk about this word.