5
하단 유형에 함수 매개 변수 유형으로 사용 사례가 있습니까?
함수에 반환 유형이 ⊥ ( bottom type )이면 반환되지 않습니다. 예를 들어 상당히 일반적인 상황에서 나가거나 던질 수 있습니다. 함수에 ⊥ 유형의 매개 변수가있는 경우에는 (안전하게) 호출 할 수 없습니다. 그러한 함수를 정의 할 이유가 있습니까?
객체의 속성을 지정하는 공식 시스템