Unknown type vs any type in Typescript - Performance Comparison

Time Complexity: Unknown type vs any type

O(n)

Understanding Time Complexity

We want to see how using unknown and any types affects the time it takes for TypeScript to check code.

How does the type checking work as code grows with these types?

Scenario Under Consideration

Analyze the time complexity of the following TypeScript code snippet.

function processValue(value: unknown) {
  if (typeof value === 'string') {
    return value.toUpperCase();
  } else if (typeof value === 'number') {
    return value + 1;
  }
  return value;
}

let data: any = "hello";
let result = processValue(data);
    

This code checks the type of value when it is unknown and uses any to hold data without checks.

Identify Repeating Operations

Look at what TypeScript does repeatedly when checking types.

• Primary operation: Type checking conditions on unknown values.
• How many times: Once per check, but grows with code size and complexity.

How Execution Grows With Input

As code grows, TypeScript must check more conditions for unknown types, but any skips checks.

Input Size (n)	Approx. Operations
10	About 10 type checks for unknown, 0 for any
100	About 100 type checks for unknown, 0 for any
1000	About 1000 type checks for unknown, 0 for any

Pattern observation: Checking unknown grows linearly with code size; any does not add checking cost.

Final Time Complexity

Time Complexity: O(n)

This means the time to check types grows in a straight line as the number of unknown checks increases.

Common Mistake

[X] Wrong: "Using any and unknown types costs the same for type checking."

[OK] Correct: any skips checks, so it is faster to check, while unknown requires TypeScript to verify types, adding time.

Interview Connect

Understanding how different types affect checking time helps you write clearer and more efficient TypeScript code, a useful skill in real projects.

Self-Check

What if we replaced all unknown types with any? How would the time complexity of type checking change?