같은 + 기호도 자료형이 결과를 정한다
두 피연산자에 같은 숫자 모양을 넣고 자료형만 바꾼다. 자료형이 허용하는 값과 + 연산의 의미가 바뀌면 결과도 바뀐다.
3+2=5
사용자는 연산의 의미만 보고 목록을 다룬다
연산을 호출하면 경계 밖에서는 반환값과 호출 뒤 상태만 보인다. 저장 공간을 다루는 일은 경계 안의 구현이 맡는다.
사용자가 알아야 하는 것
구현이 결정하는 것
새 원소를 저장할 공간을 확보하는 방법
공간이 부족할 때 기존 원소를 옮기는 방법
꺼낸 원소의 자리를 정리하는 방법
요구사항에서 ADT를 고르고 구현에서 비용을 따진다
요구사항이 필요한 결과를 정하면 그 결과를 만드는 ADT와 연산의 의미가 정해진다. 작업량은 그 뒤에 고르는 구현이 정한다.