Strongly Typed

Definition 定义

（编程/语言学）强类型的；强类型语言：指一种编程语言的类型系统严格区分不同数据类型，不允许（或很少允许）在不明确转换的情况下把一种类型当作另一种类型使用；从而减少“把字符串当数字用”等类型错误。（常与 statically typed / dynamically typed 对比；“强类型”与“静态类型”不是同一概念。）

Pronunciation 发音

/ˌstrɔŋˈli taɪpt/

Examples 例句

In a strongly typed language, you can’t add a number to a string without converting one of them.
在强类型语言中，不进行转换就不能把数字和字符串相加。

Because the system is strongly typed, the compiler catches mismatched types early, which makes large codebases easier to maintain.
由于类型系统是强类型的，编译器能更早发现类型不匹配的问题，从而让大型代码库更易维护。

Etymology 词源

strongly 来自 strong（强的）+ 副词后缀 -ly（……地）；typed 来自 type（类型）+ 过去分词/形容词用法，表示“有类型约束的”。该短语在计算机科学语境中用来描述语言的类型约束强度：越“strong”，越强调类型边界清晰、隐式转换更少、类型错误更难“悄悄发生”。

Related Words 相关词

• Static Typing
• Dynamic Typing
• Type Safety
• Weakly Typed
• Type System
• Type Inference
• Implicit Conversion
• Compile-Time

In Notable Works 出现于知名作品

• Types and Programming Languages（Benjamin C. Pierce）：系统讨论类型系统与“强/弱类型、类型安全”等核心概念。
• Programming Language Pragmatics（Michael L. Scott）：介绍多种语言设计取舍，包含对类型系统强度与错误预防的讨论。
• The Rust Programming Language（Steve Klabnik & Carol Nichols）：在讲解 Rust 的过程中频繁强调其“强类型/类型安全”的设计目标与实践。