▲ 그림 2-12 공통적인 객체 헤더를 제외한 데이터 타입의 스토리지 차이

별로 큰 차이가 없어 보일 수도 있지만, 이것이 무료라는 점을 기억하자. IP 주소가 길어질수록 더 많은 공간을 절약하게 된다. 또한, 동시에 유효성 증명을 제공하므로 전달된 객체가 코드 전체에 유효한 IP 주소를 보유하고 있다는 것을 안전하게 신뢰할 수 있다. 이처럼 타입이 데이터 뒤에 숨겨진 의도를 설명하기 때문에 코드를 읽기가 더 쉬워진다.