Type by inference

• 타입스크립트는 타입 추론이 가능하다. 자바스크립트는 다양한 방식을 통해서 타입이 생성된다. 하단의 예시와 같은 경우에는 특정 값을 할당하는 것을 통해서 타입이 추론된다. 타입스크립트를 value 값을 타입으로 사용한다.

let helloWorld = 'hello world';

위의 예시는 하단 방식으로 타입 추론이 가능하다.

let hellotWorld: string;

자바스크립트가 어떻게 동작되는 지 이해하여, 타입스크립트의 타입시스템이 어떻게 자바스크립트 코드에 타입을 가지게하는지 알아보자. 타입 시스템은 추가적인 문자열의 추가 없이 코드를 추론한다. (explicit in your code without needing add extra characters)

VSCode 와 같은 IDE를 사용하게되면, auto-completion 설정을 사용할 수 있는데 이것을 통해서 자바스크립트를 손쉽게 타입스크립트로 전환시킬 수 있다.

Defining Types

자바스크립트에서 다양하게 디자인된 패턴을 사용 할 수 있다. 하지만, 어떤 디자인 페턴은 타입을 자동으로 추론하기 어렵다. (예를 들어 동적 프로그래밍을 사용하는 패턴 등). 이러한 케이스들을 커버하기 위해서, 타입스크립트는 자바스크립트의 확장성을 지원한다. 타입스크립트에 어떤 타입이어야하는지 이야기해주는 것이다.

예를 들어 객체를 추론하는 경우에

const user = {
	name : 'Dahye',
	id : 0,
}

이런 경우에는 인터페이스를 활용 할 수 있다.

interface User{
	name : string;
	id: number;
}
const user : User= {
	name : 'Dahye',
	id : 0,
}

만약 객체 인터페이스와 매칭되지 않는 것을 제공하는 경우, 타입스크립트를 타입 경고를 할 것이다.