타입스크립트는 JavaScript에 타입 기능을 추가한 언어입니다. 이 문서에서는 타입스크립트의 타입 추론과 타입 어노테이션에 대해 자세히 살펴보겠습니다.

1. 타입 추론 (Type Inference)

타입스크립트 컴파일러는 코드를 분석하여 변수의 타입을 추론합니다. 이를 타입 추론이라고 합니다. 변수를 선언할 때 동시에 값을 할당하면, 컴파일러는 할당된 값의 타입을 변수의 타입으로 추론합니다. 다음은 타입 추론의 예시입니다.

let x = 10; // x는 number 타입으로 추론
let y = "hello"; // y는 string 타입으로 추론

2. 타입 어노테이션 (Type Annotation)

타입스크립트에서는 타입 어노테이션을 사용하여 직접적으로 변수의 타입을 명시할 수 있습니다. 이를 통해 개발자는 변수가 특정한 타입을 가져야 한다고 명시적으로 선언할 수 있습니다. 다음은 타입 어노테이션의 예시입니다.

let myNumber: number = 10;
let myString: string = "hello";

타입 어노테이션을 사용하면 변수의 타입을 명시적으로 표현할 수 있을 뿐만 아니라, 가독성과 유지보수성을 높일 수 있습니다.

3. 기타 개념

타입 추론과 타입 어노테이션 외에도, 타입스크립트는 타입 가드(Type Guards), 타입 단언(Type Assertion), 타입 별칭(Type Aliases) 등의 개념을 제공합니다. 이러한 개념들은 코드를 더욱 안정적이고 확실하게 만드는데 도움을 줍니다.

타입스크립트의 타입 추론과 타입 어노테이션은 코드의 명확성과 안정성을 향상시키며, 개발자가 코드를 이해하고 유지보수하는 데 도움을 줍니다.

더 많은 정보는 타입스크립트 공식 문서에서 확인할 수 있습니다.