[TS] 타입시스템 (Type Checker)

타입시스템이란?프로그래밍 언어가 프로그램에서 가질 수 있는 타입을 이해하는 방법에 대한 규칙 집합이다. 타입시스템이 코드를 이해하는 법코드를 읽고 존재하는 모든 타입과 값을 이해한다.각 값이 초기 선언에서 가질 수 있는 타입을 확인한다.각 값이 추후 코드에서 어떻게 사용될 수 있는지 그 모든 방법을 확인한다. (추론, 할당 가능성)값의 사용법이 타입과 일치하지 않으면 사용자에게 오류를 표시한다. 타입 추론과정let firstName = "Tom";firstName.length();// Error : This expression is not callable.//Type 'Number' has no call signatures. 코드를 읽고 firstName이라는 변수 이해한다. (Tokeninze/Scan..