Static Typing

타입스크립트의 가장 독특한 특징은 Static Typing 이라고 불리는 정적 타이핑 기능을 자바스크립트 언어에 제공을 한다.

Static Typing 이란 타입을 선언하고 선언된 타입에 맞는 값 만 할당 또는 반환 되어야 된다는 뜻이다.

Type Inference ( 타입 추론)

타입스크립트에서는 타입 표기가 없는 경우 코드를 읽고 분석하여 타입을 유추해낼수 있다.

👇 🙅‍♂️

👇 🙆‍♂️

예시

student 라는 이름을 갖고 있는 객체가 있는데 TypeScript 는 스스로 객체 속에 property 할당 값을 검사하고 어떠한 타입이 property에 할당 값으로 주어졌는지 확인을 한다. 또한 이런 할당 값의 타입을 바탕으로 객체의 property에 타입 추론을 적용 한다. 따라서 string 이 할당 값으로 주어진 name property 를 number 로 재 할당 하려고 하면 error 메세지를 보낸다.

//

return 타입을 가진 function 함수도 마찬가지 이다. 만약 value 를 return 하는 함수를 만들면 타입스크립트는 주어진 정보를 사용하여 코드를 분석하고 return value 타입을 타입추론 하여 정하게 된다.

losPoints 값을 받아서 숫자 100 에서 뺄셈을 하고 결과값 을 return 하는 함수 이다. 마우스를 function 키워드 위에 올리면 타입스크립트가 함수의 반환 값으로 숫자 8 을 할당하고 있는 것을 확인 할 수 있다.
함수에 파라미터 losPoints 의 타입을 명시 하지는 않았지만 타입스크립트는 뺄셈 연산자를 통해서 결과물이 숫자가 될 것이라는 것을 알 수 있을 정도로 smart 하다.