Type inference is the compiler’s ability to determine types from context without explicit annotations.
Advanced answer
Deep dive
Expanding on the short answer — what usually matters in practice:
Context (tags): inference, types
Explain the "why", not just the "what" (intuition + consequences).
Trade-offs: what you gain/lose (time, memory, complexity, risk).
Edge cases: empty inputs, large inputs, invalid inputs, concurrency.
Examples
A tiny example (an explanation template):
// Example: discuss trade-offs for "what-is-type-inference-in-typescript?"
function explain() {
// Start from the core idea:
// Type inference is the compiler’s ability to determine types from context without explicit
}
Common pitfalls
Too generic: no concrete trade-offs or examples.
Mixing average-case and worst-case (e.g., complexity).