Never
Never
never는 함수가 종료되지 않는다는 것을 나타내는 반환 전용 타입이에요. 이 페이지에서는 never 타입의 의미와 타입 이론에서의 위치를 다뤄요.
본문
never는 함수가 종료되지 않는다는 것을 나타내는 반환 전용 타입이에요. 즉, exit()을 호출하거나, 예외를 던지거나, 무한 루프라는 뜻이에요. 따라서 never는 유니언 타입 선언의 일부가 될 수 없어요. PHP 8.1.0부터 사용할 수 있어요.
never는 타입 이론의 용어로 말하면 최하위 타입(bottom type)이에요. 즉, 다른 모든 타입의 하위 타입이며, 상속 과정에서 다른 어떤 반환 타입도 대체할 수 있다는 뜻이에요.