Type System

定义 Definition

“Type system” 指类型系统：编程语言中用来规定和检查“值/表达式的类型”的一套规则与机制，用于提高安全性、可读性与可维护性（例如防止把字符串当作数字来运算）。常见还可区分静态/动态类型、强/弱类型等。

发音 Pronunciation (IPA)

/taɪp ˈsɪstəm/

例句 Examples

A strong type system can prevent many common bugs.
强类型系统可以预防许多常见的程序错误。

The language’s type system supports generics and type inference, which makes large codebases easier to maintain.
这门语言的类型系统支持泛型与类型推断，使大型代码库更容易维护。

词源 Etymology

“Type” 源自希腊语 typos，本义为“印记、模子、类型”；“system” 源自希腊语 systema，意为“组合在一起的整体、体系”。合在一起，“type system” 在计算机科学语境中表示“关于类型的体系化规则”。

相关词 Related Words

• Type
• Typing
• Static
• Dynamic
• Generic
• Inference
• Polymorphism
• Subtyping
• Typechecking
• Compiler

文学与著作 Literary Works

• Types and Programming Languages（Benjamin C. Pierce）——多处系统讲解 “type system”。
• Advanced Topics in Types and Programming Languages（编：Benjamin C. Pierce）——以类型系统的扩展主题为核心。
• The Formal Semantics of Programming Languages（Glynn Winskel）——在形式语义讨论中频繁涉及类型系统概念。