AND — 복합 타입 지정자(교집합)

AND — 복합 타입 지정자(교집합)

어떤 값이 '이 타입이면서 저 타입'인 경우만 고르고 싶을 때가 있어요. 그럴 때 쓰는 것이 복합 타입 지정자 and예요. 여러 타입의 **교집합(intersection)**을 나타내는, 결합(combining) 계열의 타입 지정자예요.

출처: CLHS Type Specifier AND

본문

복합 타입 지정자 종류 (Compound Type Specifier Kind)

결합(Combining).

복합 타입 지정자 문법 (Compound Type Specifier Syntax)

and typespec*

복합 타입 지정자 인자 (Compound Type Specifier Arguments)

• typespec — 타입 지정자(type specifier)예요.

복합 타입 지정자 설명 (Compound Type Specifier Description)

and는 각 typespec이 결정하는 타입들의 교집합에 속하는 객체들의 집합을 나타내요.

*는 인자로 허용되지 않아요.

타입 지정자 (and)와 t는 동등해요. and 심볼 자체는 타입 지정자로 유효하지 않으며, 특히 (and)의 약어가 아니에요.