프로그래밍 스칼라: 실용적인 스칼라 활용법을 익히는 가장 확실한 실전 바이블 (2.11.x 버전 기반)

556

3

부

기초를 넘어서

스칼라 코드에서 타입을 더 이상 구체적으로 정의할 수 없는 경우

Seq

[_]

와 같은 타입 시그니처

를 자주 보게 될 것이다. 하지만

forSome

을 사용하는 전체 존재 타입 구문을 볼 일은 그리 많지

않을 것이다.

존재 타입은 주로 자바 제네릭스를 지원하면서 스칼라 타입 시스템의 정확성도 유지하기 위한

것이다. 타입 추론으로 인해 대부분의 경우 자세한 부분은 신경 쓰지 않아도 된다.

14.10

마치며

이제 여러분이 스칼라 코드를 작성하거나 라이브러리를 사용할 때 가장 흔히 마주칠 수 있는

타입 시스템의 기능에 대한 정리를 마쳤다. 이번 장의 주 초점은 객체지향 상속의 미묘함을 이

해하고, 변성이나 타입 바운드와 같은 기능이 왜 중요한지 아는 것이었다. 다음 장에서는 시급

히 통달해야 할 필요가 적은 다른 기능에 대한 탐험을 계속할 것이다.

타입 시스템이나 관련 개념에 대해 빠르게 참고할 문서가 필요한 독자는 타입세이프에서 나

와 함께 일하는 콘라드 말라위스키

Konrad

Malawski

가 쓴 “스칼라의 타입에 대한 타입

Scala

’

s

Types

of

Types

”(

http

://

bit

.

ly

/

1s0LF1E

)을 북마크해두기 바란다.