확인 전 값
외부 입력처럼 아직 타입을 믿을 수 없는 값은 검사 후에만 구체 타입으로 사용합니다.
typeof 점검
특수 타입의 값 흐름
unknown, object, void, never, null, 누락값은 단순 값 종류보다 값의 확실성이나 함수 흐름의 상태를 설명할 때 쓰입니다.
구조가 있는 값
원시값이 아닌 객체 영역을 다룰 때 쓰되 세부 속성은 인터페이스로 더 좁힙니다.
object
반환값 없음
로그 출력이나 상태 변경처럼 결과 값을 사용하지 않는 함수의 반환을 표시합니다.
(): void
도달 불가
예외를 던지거나 모든 케이스를 처리한 뒤 남지 않는 분기를 표현합니다.
exhaustive