Open hyunahOh opened 1 year ago
집합의 관점에서 타입체커는 부분집합인지를 체크한다고 보면된다. |는 유니온, 합집합이라고 보면된다. &는 인터섹션이라고 보면되는데, 인터페이스간의 & 연산은 속성의 합집합 역할을 해준다.
|
&
!
String
string
아이템 7 타입이 값들의 집합이라고 생각하기
집합의 관점에서 타입체커는 부분집합인지를 체크한다고 보면된다.
|
는 유니온, 합집합이라고 보면된다.&
는 인터섹션이라고 보면되는데, 인터페이스간의&
연산은 속성의 합집합 역할을 해준다.아이템 8 타입공간과 값 공간 구분하기
아이템 9 타입 단언보다는 타입 선언 사용하기
!
을 사용하는게 타당하다.아이템 10 객체 레퍼 타입 피하기
String
으로 하게되면 스트링 리터럴 값이 들어올 때 에러가난다. (String
형식의 인수는string
형식의 매개변수에 할당할 수 없음.)아이템 11 잉여 속성 체크의 한계 인지하기
아이템 12 함수 표현식에 타입 적용하기