데이터 타입

• JS 기본 자료형을 포함(superset)

• Boolean, Number, String, Null, Undefined, Symbol
• Array : object형

• Any, Void, Never, Unknown
• Enum
• Tuple: object형

Primitive Type

• 오브젝트와 레퍼런스 형태가 아닌 실제 값을 저장하는 자료형
• ES2015 기준 6가지

boolean

number

string

null/undefined

• 각각 undefined, null이라는 타입을 가진다
• 둘 다 소문자만 존재한다.
• void와 마찬가지로 그 자체로는 그다지 유용하지 않다.

null

• null이라는 값으로 할당된 것
• 무언가가 있는데, 사용할 준비가 덜 된 상태
  ** 런타임에서 typeof 연산자를 이용해서 알아내면 object

undefined

• 값을 할당하지 않은 변수
• 선언만하고 값을 할당하지 않은 상태
• object의 프로퍼티가 없을 때도 undefined
  ** 런타임에서 typeof 연산자를 이용해서 알아내면 undefined

symbol

object

• 'primitive type이 아닌 것'을 나타내고 싶을 때 사용

declare function create(o: object | null): void;

Array

// 표현 1
let list: number[] = [1,2,3];
let list_: (number | string)[] = [1,2,3,'4'];

// 표현 2
let List: Array<number> = [1,2,3];

Tuple

• array와 달리 항상 순서와 타입, 길이가 일치해야한다.

let x: [string, number];
x = ['hello', 20];

Any

• 어떤 타입이어도 상관없는 타입
• 하지만 최대한 쓰지 않는게 핵심
  -> 컴파일 타입에 타입 체크가 정상적으로 이루어지지 않을 수 있기 때문에
  -> 누수 발생
• 타입 안정성은 타입스크립트를 사용하는 주요 동기 중 하나이며 필요하지 않은 경우에는 any를 사용하지 않도록 해야한다.
• 개체를 통해 계속 전파된다.

let looselyTyped:any = {};

const d = looselyTyped.a.b.c.d;

Unknown

• any가 가진 타입 불안정을 해소하기 위한 대체자

• any와 같이 아무거나 할당할 수 있다.
• 컴파일러가 타입을 추론할 수 있게끔 타입의 유형을 좁히거나
• 타입을 확정해주지 않으면 다른 곳에 할당 할 수 없고, 사용할 수 없다.

• 컴파일러와 미래의 코드를 읽는 사람에게 이 변수가 무엇이든 될 수 있음을 알려주는 타입

Never

function err(msg:string): never {
  throw new Error(msg);
}

function fail() {
  return err('failed');
}

function infiniteLoop(): never {
  while(true) {}
}

• 모든 타입의 서브타입이며 모든 타입에 할당 할 수 있다.
• 하지만, 그 어떤 타입(any 조차도) 할당 할 수 없다.
• 잘못된 타입을 넣는 실수를 막고자 할 때 사용하기도 한다.

let A:string = 'hello';
if (typeof A !== 'string') {
  // A는 문자인데 조건이 문자가 아닌 경우(이런 경우 없음..)에는 never
  A;
}

Void

• 어떤 타입도 가지지 않는 빈 상태
• 리턴 타입으로 사용

// void : return으로 아무것도 하지 않는다.
// void return으로 유일하게 undefined만 적용할 수 있다.

function returnVoid(msg:string): void {
  console.log(msg);

  return;
}

const r = returnVoid('리턴이 없다.') // type : void