Type Assertion

Noun · Development

Definitions

  1. A compile-time directive that tells the type checker to treat a value as a specific type, bypassing inference — written as `value as Type` in TypeScript or `value.(Type)` in Go. Unlike a type cast, it performs no runtime conversion or validation; it simply overrides the compiler's understanding, so incorrect assertions can cause runtime errors.

    In plain English: Telling the compiler 'trust me, I know this value is actually this specific type,' without any runtime check.

    Example: "I had to use `as HTMLInputElement` because the DOM API returns a generic Element and TypeScript doesn't know it's an input."

Related Terms