[Typescript] 2. 정적 타이핑

1. 타입 선언

Typescript는 변수명 뒤에 타입을 명시하는 것으로 타입을 선언할 수 있다.

let blo: string = 'hello';

선언한 타입에 맞지 않는 값을 할당하면 컴파일 시점에 에러가 발생한다. 이러한 타입 선언은 개발자가 코드를 예측할 수 있도록 돕는다. 또한 타입 선언은 강력한 타입 체크를 가능하게 하여 문법 에러나 타입과 일치하지 않은 값의 할당 등 기본적인 오류를 런타임 이전에 검출한다.

2. 함수의 매개변수와 반환값에 대한 타입 선언

// 함수 선언식

function blo1(x: number, y: number): number {
  return x*y;
}

//함수 표현식

const blo2 = (x: number, y: number): number => x * y;

console.log(blo2(1,2)); // 2
console.log(blo2('hi',1)); // error

3. TypeScript의 타입 종류

4. 타입 추론

만약 타입 선언을 생략하면 값이 할당되는 과정에서 동적으로 타입이 결정된다. 이를 타입 추론이라고 한다. 타입 선언을 생략하고도 값도 할당하지 않아서 타입을 추론할 수 없으면 'any'타입이 된다. 'any'타입의 변수는 자바스크립트의 var 키워드로 선언된 변수처럼 어떤 타입의 값도 재할당이 가능하다. 이는 Typescript를 사용하는 장점을 없애기 때문에 사용하지 않는 편이 좋다.

let foo = 123; // foo는 number 타입으로 추론된다.

foo = 'hi'; // error 

let blo;

blo = 'hello'; // blo는 any타입으로 string으로 할당해도 정상 작동한다.
blo = true; // blo는 any타입으로 다시 boolean으로 할당해도 정상 작동한다.