입력 타입 고정
인자 이름 뒤 콜론으로 받을 수 있는 값의 종류를 제한합니다.
x: number
함수 타입 정의 루프
함수 타입은 구현 내부보다 먼저 호출자가 무엇을 넣고 무엇을 받을 수 있는지 설명하는 계약입니다.
결과 타입 표시
함수 괄호 뒤에 결과 타입을 붙여 호출부가 받을 값을 명확히 합니다.
): string
결과를 쓰지 않음
로그 출력이나 상태 변경처럼 반환값을 사용하지 않는 함수에 쓰입니다.
(): void
시그니처 재사용
반복되는 함수 모양은 type으로 이름 붙여 여러 곳에서 공유합니다.
type Handler = () => void
추론 활용
반환식이 명확하면 추론에 맡기고 공개 API는 명시를
고려합니다.
콜백 전달
콜백 타입을 먼저 정의하면 배열 메서드와 이벤트 처리 코드가 읽기
쉬워집니다.
오류 해석
인자 개수와 타입 불일치 메시지를 함수 시그니처 기준으로
읽습니다.
함수 타입을 안정적으로 잡으면 뒤의 선택 매개변수, 오버로딩, 제네릭 함수가 모두 같은 원리로 이어집니다.