4-1. Describing Types in Functions

함수에 타입 정의하기 (매개변수parameter와 리턴 값의 타입 정의)

/** Describing Types of Functions */
function func(a: number, b: number) {
  return a + b;
}

/** Using Arrow Functions */
const add = (a: number, b: number) => a + b;

/** Using Default Values */
const subtract = (a = 2, b = 1) => a - b;

• 리턴 타입의 경우 파라미터를 정의하는 소괄호 뒤에 명시해줄 수 있지만(e.g. func(…): number) 타입 추론을 사용하여 생략해줄 수도 있다.
• arrow function 형태를 사용할때도 타입 정의는 동일하게 이루어진다. 타입 추론을 통해 리턴 타입을 생략할 수 있는 부분도 마찬가지다.
• parameter의 default 값을 설정하는 경우에는 parameter에도 타입 추론이 작동한다.

Optional Parameter 선택적 매개변수

/** Optional Parameter */
function print(a: number, **b?: number**) { // type of b is number | undefined
  console.log(a);
  if (typeof b === "number") {
    console.log(b);
  }
}

• 특정 파라미터를 선택적으로 받으려면 ?: 를 사용하여 optional parameter로 정의해주면 된다.
  • 이렇게 optional parameter로 정의할 경우 undefined와의 Union type으로 정의된다.
    • 위 주석에 작성해 놓은 것처럼, b 파라미터의 타입이 number | undefined로 정의된다는 말이다.
• 선택적 매개변수를 포함하여 함수 정의시 항상 필수 매개변수가 먼저(왼쪽에) 오고 그 다음 선택적 매개변수가 와야 한다. 그렇게 하지 않으면 오류가 발생한다.

Using spread operator (with array & tuple)

/** Spread Operator */
function getSum(...nums: number[]) {
  let sum = 0;
  nums.forEach((i) => (sum += i));
  return sum;
}

function getSumOfThree(...nums: [number, number, number]) {
  let sum = 0;
  nums.forEach((i) => (sum += i));
  return sum;
}

console.log(getSum(1, 2, 3, 4, 5)); // not getSum([1, 2, 3, 4, 5])
console.log(getSumOfThree(1, 2, 3)); // error if (1, 2, 3, 4)

• spread operator(…)를 적절히 사용하면 여러개의 매개변수가 있는 경우 더 간결하게 코드를 작성할 수 있다.
• array뿐 아니라 tuple로도 정의가 가능하다.
  • 개수나 타입이 정해져 있는 경우 tuple을 사용하는 것이 더 적합할 것이다.
• 헷갈릴 수도 있는 부분:
  • 호출시에는 [1, 2, 3] 처럼 하는 것이 아니라 풀어서 1, 2, 3 으로 해야한다.

4-2. 함수 타입 표현식과 호출 시그니쳐

Documentation - More on Functions

함수 타입 표현식 Function Type Expressions

• 4-1 에서 우리는 함수의 내용을 정의함과 동시에 타입을 정의하는 방식을 사용했다.
  • 하지만 내용 없이 타입만 따로 정의하는 것도 가능한데, 이럴때는 arrow function과 유사하게 생긴 Function Type Expression을 사용한다.
  • (생각해보면 일반 변수나 객체 모두 타입만 따로 정의하는게 가능하다. 함수라고 안될 이유가 없다)