Type System

• 타입을 명시적으로 지정할 수 있다.
• 타입을 명시적으로 지정하지 않으면 컴파일러가 자동으로 타입을 추론한다.

Type

• 해당 변수가 할 수 있는 일을 결정한다.

JS

function f1(a) {
  return a * 38;
}
// 작성자는 함수의 결과가 number 타입이라는 가정으로 함수를 작성했으나 
// 사용자는 사용법을 숙지하지 않은 채, 문자열을 사용하면 NaN이 발생한다.
console.log(f1(10)) // 380
console.log(f1('mark')) // NaN

TS

// 타입스크립트의 경우 a의 타입을 명시적으로 지정하지 않았기 때문에 a는 any로 추론된다.
function f2(a) {
  return a * 38;
}
// 다만, NaN도 number의 일종으로 NaN이 나온다.
// 하지만 이것 역시 작성자가 의도하지 않은 경우에는 사용자에게 정상적으로 의도를 전달하지 못했다.
console.log(f2(10)) // 380
console.log(f2('mark') + 5) // NaN

noImplicitAny

• 위 문제를 해결하기 위해 noImplicitAny를 이용하여 방어하면 any를 명시적으로 지정해주지 않을 경우 에러가 발생한다.

// error : Parameter 'a' implicitly has an 'any' type.
function f3(a) {
  return a * 38;
}

// 사용자의 코드를 실행할 수 없습니다. 컴파일이 정상적으로 마무리 될 수 있도록 수정해야 합니다.
console.log(f3(10))
console.log(f3('mark') + 5) 

strictNullChecks

• 모든 타입에 자동으로 포함되어 있는 'null'과 'undefined'를 제거해준다.

// 명시적으로 지정하지 않은 함수의 리턴 타입은 number | undefined로 추론된다.
function f4(a:number) {
  if( a > 0 ) {
    return a * 38;
  }
}

noImplicitReturns

• 함수 내에서 모든 코드가 값을 리턴하지 않으면 에러를 발생시킨다.

function f4(a:number) {
  if( a > 0 ) {
    return a * 38;
  }
  // 조건문에 해당하지 않는 조건이 있기 때문에 해당 부분까지 명시해주어야 한다.
}

strictFunctionTypes

• 함수를 할당할 시에 매개변수 타입이 같거나 슈퍼타입인 경우가 아닌 경우 에러를 발생시킨다.

TS > Structural Type System

• 구조가 같으면, 같은 타입으로 취급하는 방식

interface IPerson {
  name: string;
  age: number;
}

type PersonType = {
  name: string;
  age: number;
}

let personInterface: Iperson = {} as any;
let personType: PersonType = {} as any;

personInterface = personType;

• 타입이 타입으로써의 목적이나 존재 가치가 명확한 경우 : Interface
• 어떠한 대상을 가리키는 목적 : Type Alias