Type Inference & Literal Types (const vs. let)

1. Smart Type Inference

You do not need to annotate every variable manually. TypeScript features a powerful Type Inference Engine that inspects initial values and automatically assigns the narrowest possible type.

2. Const vs. Let Inference Rules

Notice how TypeScript infers types differently depending on whether you declare a variable with let or const:

// Infered as wide 'string' type (because 'let' can be reassigned later)
let role = "admin"; // Type: string
role = "editor";    // Valid!

// Inferred as narrow Literal Type 'admin' (because 'const' can NEVER change)
const primaryRole = "admin"; // Type: "admin"
// primaryRole = "editor";   // Error: Cannot assign to 'primaryRole'

3. Literal Types Explained

A Literal Type is a type that represents an exact single value (like the string "admin" or the number 404), rather than any arbitrary string or number:

type HTTPSuccessCode = 200 | 201; // Literal union type
const currentStatus: HTTPSuccessCode = 200; // Valid
// const badStatus: HTTPSuccessCode = 500;  // Error: Type 500 is not assignable to 200 | 201

4. Visual Type Hierarchy

[ Wide Type ]   ──> string
                       │ (Narrows down)
                       ▼
[ Literal Type ] ──> "admin" | "editor" | "viewer"

5. Common Mistakes

• Unnecessary Annotations on Initialized Variables: Writing let name: string = "Alex" is redundant because TypeScript already infers string from "Alex".
• Unexpected Widening in Object Properties: Properties inside object literals widen to general types unless you use as const or explicit literal types.

6. Next Steps

Rely on inference for simple initializations. Next, let me introduce TypeScript Arrays, Tuples, and Readonly modifiers!