최근 수정:
x = y + f(2)
위 식이 의미를 가지려면 x, y, f라는 이름이 적합하게 선언되어야 한다.
즉, x, y, f란 이름이 붙은 개체가 존재한다는 것과
이런 타입으로부터 선언자 연산자를 이용해서 다른 타입을 구성할 수 있다.
혹은 추가적인 타입을 정의할 수도 잇다.
여기에서 불리언, 문자, 정수 타입을 통합 정수 타입이라 하고
통합 정수 타입과 부동소수점 타입을 합쳐서 산술 타입이라 한다.
열거형과 클래스를 제외한 나머지 타입은 기본제공타입이라고 한다.