1. Static Typing

• 정적 타이핑이란?
  • 타입을 선언하고 선언에 부합하는 타입만 할당, 반환되어야 하는 타이핑을 말한다.

2. 타입 추론이란? (Type Inference)

• 자바스크립트는 number 타입이었던 변수에 문자열을 넣을 수 있다.

let a = 5;
a = "hello";

• 타입스크립트는 number 타입이었던 변수에 문자열을 넣을 수 없다.

let a = 5;
a = "hello";

//error "hello" is 
//not assignable to type "number".

• let a = 5; : propery 할당값을 검사하여 해당 변수가 number임을 타입스크립트가 추론한다.
• return 100 - lostPoints; : 빼기 연산자를 통해서도 number타입을 유추해내기도 한다.

3. 타입 명시

• 변수를 선언할 때, 변수 값의 타입을 명시함으로써 변수 값의 데이터 타입을 지정하는 것이다.

• 재할당 할 때도 꼭 변수 값을 맞춰줘야 한다.

• 기본형 : string (int, float 구분 없음), number, boolean

• 변수 Syntax

• 보통 - let 변수명 : 타입 = 할당값

  • null, undefined도 있지만 굳이 사용하지 않는다.

  let x : string = “나는 영원한 문자열”;
  

• object

  let 나이 :{ age : number } = { age : 35}
  

• object (2) - 전체 지정 (Index Signature)

  type MyObject = {
    [key :string] : number,
  }
  

• array : string[] 혹은 Array<string>

  • string[]는 스트링 타입의 배열이고, [string]은 튜플이다. 서로 다르다.

  let 이름 :string[] = ['kim', 'park']
  

• Tuple - 순서가 있는 array

  type Member = [number, boolean];
  let john:Member = [100, false]
  
  let john:[number, boolean] = [100, false]