Never тип

Типът never представлява стойности, които никога не се появяват. Той се използва за обозначаване на функции или изрази, които никога не връщат стойност или хвърлят грешка.

Например безкраен цикъл:

const infiniteLoop = (): never => {
    while (true) {
        // извършване на действие
    }
};

Хвърляне на грешка:

const throwError = (message: string): never => {
    throw new Error(message);
};

Типът never е полезен за гарантиране на type безопасност и откриване на потенциални грешки във вашия код. Той помага на TypeScript да анализира и извежда по-прецизни типове, когато се използва в комбинация с други типове и конструкции за control flow, например:

type Direction = 'up' | 'down';
const move = (direction: Direction): void => {
    switch (direction) {
        case 'up':
            // движение нагоре
            break;
        case 'down':
            // движение надолу
            break;
        default:
            const exhaustiveCheck: never = direction;
            throw new Error(`Unhandled direction: ${exhaustiveCheck}`);
    }
};