타입을 집합으로 생각하자. (유니언, 인터섹션)

2. 타입 추론을 적극 활용하자.

<aside> 🚨 타입스크립트가 타입을 제대로 추론하면 그대로 쓰고, 틀리게 추론할 때만 올바른 타입을 표기하자.

</aside>

1. 리터럴 타입
2. 더 넓은 타입

• 타입 스크립트는 const로 변수를 선언할때와 let으로 선언할때의 타입 추론을 다르게 한다.

const str = 'hello'; // 'hello' 타입
let str2 = 'ko'; // string 타입

• let으로 선언한 변수는 다른 값을 대입 할 수 있기 때문에, 더 넓게 타입 추론을 진행한다. (타입 넓히기)
• 자료형을 바꾸는 경우가 그리 많지 않으므로, 처음 선언한 변수에서 타입을 넓혀서 추론한다. (let)
• symbol도 나오는데 이거는 넘어가자. const로 선언한 symbol과 let으로 선언한 symbol은 다르다.

const obj = { hello : 'world' }; // {hello : string}

let obj = { hello : 'world' }; // {hello : string}

• object는 const일때나 let일때나 똑같다. why?
  • const일때나 let일때나 객체의 속성은 변경할 수 있기 때문에 ⇒ 위의 예시에서 타입스크립트가 string으로 추론.

3. 값 자체가 타입인 리터럴 타입 존재

• let에 처음 선언한 변수의 타입과 다른 자료형을 대입하는 경우는 없다.
• 자바스크립트 객체는 const로 선언하더라도 언제든지 수정할 수 있기때문에 타입스크립트가 넓게 타입을 추론한다. ⇒ 리터럴로 명시하지 않는이상.
• as const 키워드! ⇒ 값이 변하지 않는 것이 확실할때 사용! (내가 책임진다! 이런느낌) readonly라는 수식어가 붙는다.

const obj = {name : 'zero'} as const // const obj : {readonly name : 'zero'}

• 뜻 : obj인데 name 프로퍼티에는 꼭 zero여야만해 너 다른것으로 프로퍼티 값을 바꿀 수 없어.