• TS 안전하고 예측 가능한 코드 구현에 초점을 맞춘 JS의 상위 집합(superset)언어 입니다.
• 가장 큰 특징은 기존 JS에 Type System을 적용한 것입니다.
• TS로 작성된 코드는 TS 컴파일러(tsc)를 통해 JS 변환되고 이후 실행됩니다.
• TS 이외에도 Decorators와 같은 다양한 기능을 제공합니다.

TypeScript = JavaScript + Type System

---

📃 Type System 1/2

✔ TS의 가장 큰 특징은 JS의 타입 체계에 정적(static typed) 타입을 적용할 수 있도록 한 것입니다.
✔ JS은 동적(dynamic typed) 타입 체계의 언어로 변수에 타입을 지정하지 않습니다.
✔ 동적 타입 체계는 프로그램에 유연성을 제공하지만 변수에 할당된 값을 읽어 사용하는 단계에서 문제가 발생할 수 있습니다.
✔ TS는 변수, 파라미터에 타입을 지정할 수 있으며 선언된 타입의 값이 아닌 경우 에러를 발생합니다.

📃 Type System 2/2

✔ TS는 정적 타입을 지어ㅜㄴ합니다. 변수의 정의와 함께 대입할 값의 타입을 함게 지정합니다.
✔ 변수를 정의하면서 타입을 함께 지정하면 해당 타입의 데이터만 대입 가능하며 다른 타입의 값을 대입하면 컴파일 시점에 에러가 발생합니다.
✔ 변수의 선언과 마찬가지로 함수의 매개변수, 반환값의 정의에도 동일한 시스템을 적용할 수 있습니다.
✔ 매개변수에 타입을 지정하면 해당 타입의 데이터를 전달 인자로 하며 반환 값도 동일합니다.

📃 Type Inference 타입추론

✔ 정적으로 타입을 명시하지 않고 대입하는 값을 통해 타입을 유추해 결정하는 것이 타입 추론 입니다.
✔ 기본적으로 변수의 선언과 함께 값을 대입하는 경우 해당 변수는 타입 추론으로 인해 대입되는 값의 타입을 갖습니다.
✔ 변수를 선언하고 같은 코드 라인에서 특정 값을 대입하면 TS는 대입값의 타입을 유추해 변수의 타입을 확정합니다.
✔ 변수의 선언과 값의 대입을 다른 코드 라인에서 진행하면 해당 변수는 any 타입의 변수가 됩니다.