Existential type

<aside> 📌 Index

</aside>

비교대상은 Opaque Types 이다 (some )

프로토콜 타입을 반환값이나 타입으로 그대로 사용할 때를 가리킨다

조건에 따라 프로토콜을 따르는 다양한 타입을 반환할 수 있다는 점에서 Opaque Types 와 달리 더 유연하지만, **동적 디스패치(dynamic dispatch)**가 필요하고 Opaque Types가 제공하는 최적화 이점을 누릴 수는 없습니다.

키워드

Existential type: 프로토콜을 static type 으로 사용하는 것

참고 : type(of:)
```
protocol P {}
extension String: P {}

let stringAsP: P = "Hello, World!"
```
코드에서 Protocol 을 사용하는 두 가지 방법이 표기법이 같아서 혼란의 원인이 된다.
- 이 때문에 오용될 가능성이 있었는데, Swift 6.0 부터는 any 를 붙이지 않으면 compile error 가 나도록 수정한 것으로 알고 있습니다.