Function type
함수 타입은 입력과 반환의 계약을 한 번에 고정한다
매개변수 타입만 적는 것이 아니라, 호출자가 받을 결과까지 함께 약속해야 함수 계약이 완성된다.
Call site
인자 개수와 위치가 시그니처와 맞는지 확인
Parameters
각 입력 값의 타입과 선택 가능성을 제한
Body
입력 타입을 바탕으로 안전하게 계산
Return
호출자가 기대할 결과 타입을 고정
| 점검 | 기준 |
|---|---|
| 입력 오류 | 호출부에서 먼저 드러남 |
| 반환 오류 | 함수 구현과 소비자 모두에 영향 |
| 판단 | 함수 타입은 경계 양쪽의 계약 |
핵심 함수를 읽을 때는 “무엇을 받는가”와 “무엇을 돌려주는가”를 동시에 봐야 한다.