square
는 숫자 타입 인자를 하나 받고, 불리언 타입 인자를 하나 더 받아 그 값에 따라 문자열 또는 숫자 타입의 값을 반환한다. 이 함수의 반환 타입은 어떻게 표현할 수 있을까? 일단 이 경우 반환 타입이 인자의 타입이 아닌 값에 의존한다. 따라서 제너릭으로는 표현하기 까다롭다 짐작할 수 있다.|
) 기호로 이어서 표현한다. “A
또는 B
타입일 수 있는 타입”을 A | B
로 쓰는 식이다. square
함수의 타입은 아래와 같이 적을 수 있다.