An abstract idea or general notion.

• A mental representation formed from experience or reasoning.

抽象的想法或一般性的概念。

• 基于经验或推理形成的心理表征。

A preliminary plan or design proposal.

• An outline for a product, ad, or project.

初步的方案或设计提案。

• 产品、广告或项目的构想纲要。

In programming, a formal set of requirements for a type.

• Specifies supported operations, syntax, and semantics.

在编程中，用于类型的形式化要求集合。

• 规定支持的操作、语法和语义。