TypeScript란

TypeScript는 Microsoft에서 개발한 프로그래밍 언어이다. TypeScript는 JavaScript에 정적 타입 체크를 추가한 언어로, JavaScript의 상위 집합으로 볼 수 있다. 즉, JavaScript 코드는 TypeScript에서도 유효하며, TypeScript는 JavaScript에 추가적인 기능을 제공한다.

TypeScript는 JavaScript와 마찬가지로 웹 브라우저 환경이나 Node.js 환경에서 실행될 수 있다. TypeScript 코드는 TypeScript 컴파일러를 통해 JavaScript 코드로 변환되고, 이후에 실행된다. TypeScript는 JavaScript의 모든 기능을 지원하며, 추가적으로 인터페이스, 제네릭, 데코레이터 등의 기능을 제공한다.

TypeScript가 나오게 된 배경

1. 동적 타입 체크의 한계
   JavaScript는 동적으로 타입이 결정되기 때문에, 실행 시에 발생할 수 있는 타입 올류를 사전에 찾아내기 어렵다. 이는 대규모 프로젝트에서 코드의 안정성과 예측 가능성을 저하시킬 수 있다. TypeScript는 정적 타입 체크를 도입하여 개발자가 타입 오류를 사전에 확인하고 예방할 수 있도록 한다.

2. 대규모 프로젝트의 복잡성
   대규모 프로젝트에서는 다수의 개발자가 함께 작업하고, 많은 양의 코드가 관리되어야 한다. 이는 코드의 가독성, 유지보수성, 재사용성 등을 중요시하는 요소로 이어진다. TypeScript는 타입 시스템과 모듈화 시스템을 통해 코드를 구조화하고 조직화할 수 있는 기능을 제공하여 대규모 프로젝트의 복잡성을 완화시킨다.

3. 협업의 어려움
   다수의 개발자들이 함께 작업할 때, 서로의 코드를 이해하고 협업하기 어려울 수 있다. TypeScript는 정적 타입 체크를 통해 코드의 명확성과 의도를 강조하고, 문서화를 위한 역할도 할 수 있다. 이를 통해 개발자 간의 의사소통과 협업을 원활하게 만들어준다.

4. JavaScript의 생태계지원
   TypeScript는 JavaScript의 상위 집합으로 설계되었기 때문에, JavaScript의 생태계를 완벽하게 지원한다. 기존의 JavaScript 코드를 TypeScript로 마이그레이션하는 것도 비교적 쉽나. 이는 기존 JavaScript 개발자들이 쉽게 TypeScript로 전환할 수 있고, 기존의 JavaScript 라이브러리 및 프레임워크를 계속 사용할 수 있음을 의미한다.

Type System이란

타입 시스템(Type System)은 프로그래밍 언어에서 변수, 식, 함수 등의 값을 분류하고, 그에 따른 제한과 규칙을 정의하는 시스템이다. 타입 시스템은 프로그램의 정확성과 안정성을 보장하기 위해 사용된다.

타입 시스템은 다양한 타입을 지원하며, 각각의 타입은 변수나 값이 가질 수 있는 종류를 정의한다. 예를 들어, 정수형 타입은 정수 값을, 문자열 타입은 문자열 값을 가질 수 있도록 정의할 수 있다. 이를 통해 변수에 잘못된 타입의 값을 할당하는 등의 오류를 사전에 방지할 수 있다.

타입 시스템은 두 가지 주요한 분류로 나눌 수 있다.

• 정적 타입 시스템
  정적 타입 시스템은 컴파일 시간에 타입을 검사하는 시스템이다. 프로그램을 작성하는 도중에 타입 오류를 찾아내고, 이를 수정할 수 있도록 도와준다. 대부분의 정적 타입 언어(예: C, Java, TypeScript)는 컴파일러가 타입 검사를 수행하며, 타입 오류를 발견하면 컴파일 오류로 처리한다.
• 동적 타입 시스템
  동적 타입 시스템은 프로그램이 실행되는 런타임에 타입을 검사하는 시스템이다. 타입 오류를 실행 중에 확인하게 되며, 오류가 발생하면 런타임 오류로 처리된다. 동적 타입 언어(예: JavaScript, Python)는 실행 시에 타입 검사를 수행한다.