'/%3E%3C/svg%3E)
Programming language design does have a concept of bottom type that is a natural outcome as soon as you do code flow analysis. TypeScript does code flow analysis (😎) and so it needs to reliably represent stuff that might never happen. This is what the never type is all about.
Here, we have a function that has an infinite loop, and hence, never returns. TypeScript automatically infers the return type of such a function as never. Similarly, if a function always throws, then again, TypeScript infers the return type of such a function to be never.
Also, if during code flow analysis, you end up with a condition that can never be true, TypeScript infers the type never. There is never any value in a never variable, and any attempt to add one will result in an error. You can use this to do exhaustive checks in union types.
For example, let's say you have a variable returned from the server that can be a string or a number. You can easily add code that handles different cases using the JavaScript typeof operator. You can add an additional else, and assign the variable to a never to ensure that all types were eliminated.
Later, if you need to add another type to the union, for example, a Boolean, you will now get nice errors at all the places where the new type was not handled, because only a never is assignable to a never. Now, if you go ahead and add another typeof to handle this new case, the error goes away.
'%3E%3Ccircle cx='44.82' cy='44.82' r='44.82' fill='%23FFF'/%3E%3Cpath fill='%23151515' fill-rule='nonzero' d='M68.013 44.82l-8.91-8.91a2.7 2.7 0 113.834-3.78l10.8 10.8a2.7 2.7 0 010 3.78l-10.8 10.8a2.7 2.7 0 01-3.834-3.78l8.91-8.91zm-46.413 0l8.91 8.91a2.7 2.7 0 01-3.834 3.78l-10.8-10.8a2.7 2.7 0 010-3.78l10.8-10.8a2.7 2.7 0 013.834 3.78l-8.91 8.91zm20.412 22.248a2.7 2.7 0 01-5.238-1.296l10.8-43.2a2.7 2.7 0 115.238 1.296l-10.8 43.2z'/%3E%3C/g%3E%3Cg transform='translate(76)'%3E%3Ccircle cx='17' cy='17' r='17' fill='%23FF2D55'/%3E%3Cpath fill='%23FFF' d='M12 15v-2a5 5 0 1110 0v2a2 2 0 012 2v5a2 2 0 01-2 2H12a2 2 0 01-2-2v-5a2 2 0 012-2zm8-2v2h-6v-2a3 3 0 116 0z'/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
Access all courses and lessons, track your progress, gain confidence and expertise.
