Among other things, types are used to check consistency in a programming language.

• 在程序设计中，类型被用来检查程序设计语言的一致性。