인터섹션 타입

인터섹션 타입을 이용해 “여러 경우에 모두 해당”하는 타입을 표현할 수 있다.

문법

여러 타입을 앰퍼샌드(&) 기호로 이어서 인터섹션 타입을 나타낼 수 있다.

    type BeerLovingProgrammer = Programmar & BeerLover;

여러 줄에 걸쳐 적은 인터섹션 타입

    type BeerLovingProgrammer
      = Programmer
      & BeerLover;

    type BeerLovingProgrammer2 =
      & Programmer
      & BeerLover;