Structural Typing

Definitions

1. A type system where compatibility is determined by a type's structure (its properties and methods) rather than its declared name or inheritance hierarchy. If two types have the same shape, they're compatible. TypeScript and Go use structural typing; Java and C# use nominal typing.

   In plain English: A type system where types are compatible if they have the same shape, regardless of their name.

   Example: "In TypeScript, { name: string, age: number } is compatible with any interface that has those same fields — no implements keyword needed."

Related Terms

• Algebraic Data Type
• Channel
• Declaration File
• Defer
• Discriminated Union
• Generics
• Recover
• Type Guard
• Union Type
• Partial Type
• Structural Subtyping
• Utility Type
• Zod