타입 시스템 (Type System)

 

💡 타입스크립트란? 

타입스크립트는 아시다시피(?) 정적 타입을 명시해줄 수 있는 특징을 가지고 있습니다. 변수, 매개변수 및 함수의 타입을 명시적으로 선언할 수 있기 때문에 개발자가 의도한 목적을 더욱 명확하게 전달할 수 있다는 장점이 있습니다.

 

그렇다면 타입스크립트에서 다루는 '타입'의 종류에는 어떤것들이 있을까요? 

 

💡 타입의 종류

타입 스크립트의 가장 기본적인 타입은 자바스크립트의 일곱 가지 기본 원시타입과 동일합니다. 

 

null, undefined, boolean, string, number, bigint, symbol

 

타입스크립트는 초깃값을 갖고 있는 변수의 타입을 유추할 수 있습니다.

따라서 아래와 같은 변수 선언에는 굳이 타입을 지정해주지 않아도, 타입스크립트가 타입을 string으로 추론하고 이해합니다. 

let singer = "Insoone";

 

 

또한 타입스크립트는 객체에 어떤 멤버 속성이 존재하는지 알고 있기 때문에, 어떤 변수가 'string' 타입을 가졌다면 'string' 타입에서 작동하지 않는 작업은 허용하지 않습니다. 

 

예를들어, 아래 코드와 같이 flower 변수는 string 타입이고, length 속성은 사용할 수 있지만 push는 배열에 새로운 요소를 추가할 때 사용되므로 에러가 뜨게 됩니다.

let flower = 'Rose'
flower.length; //ok

flower.push('!') // Error

 

 

💡 타입스크립트 오류 

타입스크립트의 오류는 크게 '구문 오류, 타입 오류' 두 가지로 나눌 수 있습니다. 

 

구문 오류는 코드의 문법이 잘 못 되었거나 코드 블럭, 선언, 표현식 등 구문적인 측면에서 오류가 발생했을 때 나타납니다. 구문 오류가 발생하면 타입스크립트가 자바스크립트로 변환되는 것을 차단합니다. 

타입 오류는 말 그대로 타입이 일치하지 않았을 때 나타나며, 이 때는 코드가 실행될 수도 있지만 예기치 않게 충돌하거나 오류가 날 수도 있습니다. 

 

 

💡타입 애너테이션 (Annotaion) 

Annotate는 주석을 단다는 의미로, Annotation 또한 주석이나 태그를 통해 부가적 정보를 나타내는 것을 의미합니다. 

타입스크립트에는 타입 애너테이션이 존재하며, 타입 애너테이션은 초깃값을 할당하지 않고도 변수의 타입을 선언할 수 있도록 도와줍니다.

let car: string;
car = "Volvo";

 

위 코드가 타입애너테이션이 적용된 예시입니다. 

 

 

 

 

 

 

 

 

출처: 러닝 타입스크립트