void any unknown never null undefined - jellyfish-tom/TIL GitHub Wiki

[SOURCES]

• https://www.andronio.me/2020/08/09/typescript-odd-types-unknown-void-never-any-null-and-undefined/

VOID

The void type represents the absence of any type. It is notably used to describe the return value of functions that do not return anything. No value can be assigned to a variable of type void, except for undefined. Additionally, if you do not have the --strictNullChecks option enabled on your TypeScript compiler, you can in principle also assign null to void variables.

ANY

At the opposing end of the spectrum is the any type, which represents literally any type. A variable whose type is any can be assigned any possible value and it will never produce a compilation error. Similarly, a function that returns any can return arbitrary objects, atomic values or even nothing, and will still be valid. Additionally, you can always access arbitrary properties and methods from a variable of any type without the compiler complaining.

UNKNOWN

The unknown type is similar to any, in that it also represents a type that is apriori not known. However, it behaves slightly differently than any:

• any value can be assigned to a variable of type unknown or returned from a function declared with unknown return type;
• however, while any can be assigned without warnings or errors to any other type, unknown cannot and will cause a compilation error;
• additionally, if you try to access any property or method on a variable of unknown type, the compiler will point it out as an error. unknown is safer to usa than any, since it restricts all operations you can perform on variables and return values.

NEVER

The never type is very interesting. It represents the type of values that can never occur. While in principle it may make little sense, it does have many interesting application:

• functions that always throw an exception implicitly have never as their return type;
• functions that trivially cannot terminate also have a never return type, but of course there is a limit to the compiler’s ability to detect this scenario;
• when a union or more complex type is progressively narrowed down through subsequent type guards and eventually reach a point where all options have been exhausted and there is no other possible type left. The type of the analyzed expression is never in this case.

NULL AND UNDEFINED

Null and undefined are singleton types. null is the type of the singleton value null, and undefined is type type of single value undefined. Duh. If you have the --strictNullChecks compiler option enabled (as you should), they can only be assigned to unknown or any directly. Otherwise, you need to specify that your values may accept either of those special symbols by using a union type.