8
프로그래밍 언어에서 바텀 타입을 사용해야하는 이유가 있습니까?
하단 유형은 주로 수학 유형 이론에 나타나는 구성입니다. 빈 유형이라고도합니다. 값이없는 유형이지만 모든 유형의 하위 유형입니다. 함수의 반환 유형이 맨 아래 유형이면 반환되지 않습니다. 기간. 영원히 반복되거나 예외가 발생할 수 있습니다. 프로그래밍 언어에서이 이상한 유형을 갖는 점은 무엇입니까? 흔하지는 않지만 Scala 및 Lisp와 같은 일부에는 존재합니다.