Typecheck

Definition 释义

typecheck（动词，编程）指对程序中的表达式、变量、函数等进行类型检查，确认它们的类型使用是否符合语言规则；可在编译期（静态类型）或运行期（动态类型）进行。（也常写作 type-check；名词形式常见 type checking / typechecker。）

Pronunciation 发音（IPA）

/ˈtaɪp.tʃek/

Examples 例句

The compiler will typecheck your code.
编译器会对你的代码进行类型检查。

Before we deploy, we typecheck the whole project to catch mismatched function arguments and unsafe casts.
在部署前，我们会对整个项目做类型检查，以发现函数参数不匹配和不安全的类型转换。

Etymology 词源

由 type（类型）+ check（检查）构成的现代合成词，主要在计算机科学与编程语境中使用；含义直观，指“检查类型是否正确”。

Related Words 相关词

• Type
• Typing
• Typechecker
• Typechecking
• Compile
• Compiler
• Lint
• Inference
• Static
• Dynamic

Notable Works 文学与著作中的用例

• Types and Programming Languages（Benjamin C. Pierce）——讨论“type checking / typecheck”在类型系统中的核心作用
• Real World Haskell（Bryan O’Sullivan 等）——在示例与工具链中频繁提及类型检查过程
• *Learn You a Haskell for Great Good!*（Miran Lipovača）——以通俗方式讲解编译器如何进行类型检查