Functions Parameters Type
- 함수의 파라미터(parameter)에 어떤 타입의 인수(argument)가 들어와야 하는지 명시해줄 수 있음.
- 파라미터에 n:type 형식으로 타입을 명시함.
Functions Return Type
- 함수의 리턴값도 타입으로 명시해줄 수 있음.
- 보통의 경우에는 타입스크립트가 알아서 추론하지만 명시해주는 것이 도움될때가 많음.
Union type
- 값이나 타입이 하나만 반환되지 않을 경우 유니온 타입이라고 함.
Annonymous Functions
- 익명함수를 호출할 경우, 파라미터의 타입을 자동적으로 추론함.
- 또한 Contextual 부분도 자동적으로 감지할 수 있음. (실행 컨텍스트 관련)
map에서 호출한 익명함수에서 본인을 호출한 배열에 문자형, 숫자형, 불리언, 함수가 있는 것을 자동으로 감지하고 있다.
Void
- 아무것도 반환하지 않는 함수의 반환타입으로 사용하는 타입
return문이 없어서 void 타입 함수이다.
never
- 절대 값을 반환하지 않을 함수에 붙는 타입
- 타입스크립트의 고유 타입.
- void와 다른점: void는 반환할 값이 없는 것이고 never는 값을 반환할 기회조차도 없음.
평생 실행되는 while이므로 never
호출되면 에러가 생성되어 실행이 종료되므로 never
