프로그래밍 언어론 7-1-1강. "타입"의 의미

 

[타입에 대한 3가지 관점]

1. Denotional point of view(표시론적 관점)

  : 타입은 단순히 값들의 집합이다.

  : 값에 이 타입의 집합에 포함되는 타입이 주어진다.

  ex) 열거형 타입

 

2. Structural point of view(구조적 관점)

  : 타입은 built-in type(primitive types or predefined types)들의 작은 집합중 하나이거나, 타입 구조(레코드, 배열, 세트등)에 적용되어 생성되는 합성형 타입이다.

  : 1970년대 많은 언어들의 특징 (Algol W, 68 등)

  ex) 배열

 

3. Abstraction-base point of view(추상기반 관점)

  : 타입은 잘 정의되고 상호간에 일치하는 시맨틱과 연산자들의 집합으로 구성된 인터페이스이다.

  : Simula-67, smalltalk, 현대 객체지향 언어의 특징

  : 다른 언어들의 모듈 구조에서도 찾아볼 수 있다.

  ex) 정수형 타입