Τι είναι ο τύπος never στο TypeScript και πώς διαφέρει από άλλους τύπους;

Ο τύπος never στην TypeScript χρησιμοποιείται για να δηλώσει τιμές που ποτέ δεν συμβαίνουν. Είναι ένας τύπος για συναρτήσεις που ποτέ δεν επιστρέφουν μια τιμή (π.χ., που ρίχνουν ένα σφάλμα ή εκτελούνται ατέρμονα), ή για μεταβλητές που δεν μπορούν να έχουν τιμή.

Διαφορές με άλλους τύπους:

• Άλλοι τύποι περιγράφουν πιθανές τιμές, ενώ το never δηλώνει την απουσία τιμών.
• Το never είναι υποτύπος όλων των τύπων, αλλά κανένας τύπος δεν είναι υποτύπος του never (εκτός από το ίδιο το never).

Παράδειγμα:

function error(message: string): never {
  throw new Error(message);
}

function infiniteLoop(): never {
  while(true) {}
}