TIR: Typescript | 함수(8) 타입 주도 개발 - 230116

## 타입 주도 개발
강력한 타입 시스템을 추종하는 것을 타입 주도 개발이라고 부른다
-> 타입 시그니처를 먼저 정하고 값을 나중에 채우는 프로그래밍 방식

표현식이 수용할 수 있는 값의 타입을 제한하는 것이 정적 타입 시스템의
핵심이다
표현력이 풍부한 타입 시스템일수록 표현식 안의 값을 더 잘 설명하 ㄹ수 있고
표현력이 높은 타입 시스템을 함수에 적용하면
함수에 관하여 원하는 거의 모든 정보를 얻을 수 있다

```typescript
function map<T, U>(array: T[], f: (item: T) => U): U[] {
  // ... 
}
```
위 함수 시그니처만 보아도 map() 이 어떤 함수인지 대략적으로 파악할 수 있다

타입스크립트 프로그램을 구현할 때는 먼저 함수의 타입 시그니처를 정의 후
구현을 추가한다