https://developer.apple.com/videos/play/wwdc2022/110352/

<aside> 📌 목차

• Abstraction

• Model with concrete type

• Identify common capabilities

  • Polymorphism
  • Different forms of polymorphism
    1. ad-hod polymorphism
    2. subtype polymorphism
    3. parametric polymorphism

• Build an interface

• Write generic code

• some syntax

• Opaque type 의 선언

• 새로운 API 요구사항

  • some 을 통해 해결할 수 있을까?
  • Need a supertype that represent any type of animal </aside>

• [x] 우선 한번 듣기

• [ ] Opaque 타입이 무엇인지 명확하게 정의내릴 수 있는가? - 이건 봐도봐도 어렵네

키워드

• some, underlying type, concrete type
• static type, dynamic type
• named type parameter

Abstraction

Model with concrete type

Identify common capabilities

Build an interface

Write generic code

protocol Animal {
	associatedtype Feed: AnimalFeed
	func eat(_ food: Feed)
}

struct Farm {

	// 아래 표현 둘다 가능
	func feed<A: Animal>(_ animal: A) { ... } 

	func feed<A>(_ animal: A) where A: Animal
}

• type parameter 와 where 를 통해 복잡한 요구사항와 타입 관계를 표현할 수 있다.

• 아래 표현은 자주 사용되는 표현인데, A 가 반복 등장하여 조금 복잡해보인다.

  

• some 을 사용하면 위 표현과 동일하지만 좀더 간단하게 표현할 수 있다.

  • 불필요한 type parameter list 와 where 절이 사라졌다.