Why does TypeScript have both ` void ` and ` undefined `?

In TypeScript, while "void" and "undefined" may appear similar at first glance, they serve distinct purposes and have different meanings.

1. undefined Type: Purpose and Meaning

In TypeScript, undefined is a primitive data type whose primary purpose is to indicate the state where a variable has not been assigned a value. For example:

typescript
let result: undefined;
console.log(result); // Output: undefined

In this example, result is specified as the undefined type, meaning it can only be assigned the value undefined.

2. void Type: Purpose and Meaning

The void type in TypeScript is used to represent functions that return no value. When a function does not return a value, we typically denote its return type as void. For example:

typescript
function logMessage(): void {
  console.log("Hello, TypeScript!");
}

In this example, the logMessage function is intended for output rather than returning a value. Therefore, we use void to indicate that the function does not return anything.

3. Differences and Practical Applications

• Purpose difference: undefined is used for variable assignment, indicating that a variable has not been assigned a value; whereas void is used for function return types, indicating that a function has no return value.
• Semantic difference: Using undefined explicitly expresses that a variable has not yet been assigned any value; whereas void expresses the concept of "no return value", typically associated with functions that perform operations (such as printing or modifying global variables) but do not return a value.

4. Summary

undefined and void may seem similar in contexts where they express "nothing" or "empty", but in TypeScript, they serve different contexts and purposes. Understanding this is crucial for writing clear and correct TypeScript code.