[WWDC 20] Embrace Swift Type Inference

iOS/👨🏻‍💻 WWDC 와 테크세미나

[WWDC 20] Embrace Swift Type Inference

woozzang 2022. 5. 23. 01:01

안녕하세요 🥷🏻

이번 시간에는 WWDC 20: Embrace Swift Type Inference 영상을 요약해보았습니다.

그럼 시작해볼게요!

영상의 구성

- Leveraging type inference

- How type inference works in compiler

- Using Swift and Xcode to fix compiler errors

Leveraging type inference

타입 추론을 사용하면 중복되거나 덜 중요한 정보(verbose, incidental) 를 코드에 담지 않을 수 있게 됩니다.

따라서 코드가 깔끔해지고, 생산성이 증가합니다.

let text = ""

위의 타입 추론 예시는 아주 간단합니다.

"" 라는 String literal 을 통해 컴파일러는 text 상수를 String 이라는 타입으로 추론합니다.

타입 추론은 특히 SwiftUI 에서 재사용 가능한 뷰를 호출하는 지점(call-site)에서 잘 활용할 수 있습니다.

예제에서는 어떤 데이터에서도 사용할 수 있는 재사용가능한 뷰를 만들기 위해, 제너릭을 사용합니다.

아래는 제너릭을 사용하여 선언한 FilteredList 뷰입니다.

public struct FilteredList<Element, FilterKey, RowContnet> {
	public init(_ data: [Element],
		   filterBy key: KeyPath<Element, FilterKey>,
		   isIncluded: @escaping (FilterKey) -> Bool,
		   @ViewBuilder rowContent: @escaping (Element) -> RowContent) { ... }
}

FilteredList는 Element, FilterKey, RowContent 라는 세 가지의 타입 파라미터를 사용합니다.

이 타입 파라미터(혹은 Placeholder)들은 호출 시점에 실제 타입 (concrete type) 으로 교체될 것입니다.

제너릭을 사용한 코드는 두 가지 방식 중 하나를 사용하여 타입 파라미터를 concrete type 으로 교체합니다.

1. 컴파일러의 타입 추론에 의존한다.

2. 직접 호출 지점(call-site) 에서 타입을 명시한다.

아래는 FilterList 뷰의 생성자를 호출하는 지점(call-site) 입니다.

FilteredList (
	smoothies,
	filteredBy: \.title,
	isIncluded: { title in title.hasSubstring(searchPrases) }
) { smoothie in
		SmoothieRowView(smoothie: smoothie)
}

타입 추론에 의지하고 있기 때문에, 코드가 깔끔합니다.

Notice how clean the call-site is. (실제로 한말)

만약 타입 추론을 하지 않고, 직접 타입을 명시하며 호출하면 어떻게 될까요?

아래 코드에서는 직접 타입을 명시하여 호출하고 있습니다.

그런데 실제 타입 대신 Placeholder 를 적었습니다. 독자분들이 이것들이 실제 타입이라고 상상해주세요!

FilteredList<Element, FilterKey, RowContent> (
	smoothies as [Element],
	filteredBy: \Element.title as KeyPath<Element, FilterKey>,
	isIncluded: { (title: KeyPath) -> Bool in title.hasSubstring(searchPrases) }
) { (smoothie: Element) -> RowContent in
		SmoothieRowView(smoothie: smoothie)
}

코드가 불필요한 타입 명시로 복잡해져 읽기 힘들어졌음을 알 수 있습니다.

또한 코드 작성자가 수동으로 타입을 지정해주어야 하기 때문에 코드 작성 시간이 증가할 것입니다.

즉, 타입 추론을 사용하면 수동으로 일일이 타입을 알아내서 적을 필요가 없기 때문에, 소스 코드를 더 빠르게 작성할 수 있게 됩니다.