[typescript]type assertion

*실제로 타입을 바꾸어주는 형변환이 아니고, 컴파일시 그렇게 인지하게 하는 것

*어설션한 타입에 대해서 그 타입이 맞다는 확신이 필요하다, 왜냐하면 컴파일러만 속이는 것이기 때문에 컴파일은 통과해도 코드실행시 에러가 될 수 있기때문

*타입얼라이언스:타입에 별칭을 붙여 부르는 방법만 다르게 하는 것

유니언 타입:any는 모든 타입이 될 수 있다인데, union타입은 몇 개의 한정적타입만 주어주고 그 타입중 하나라고 선언하는 것