가라멜의 달달한 세상 탐방

1. 자료형과 형 선언

- 자료형 : 객체들의 집합과 이 객체들의 실체들을 생성, 작성, 소멸, 수정 분해하는 연산들의 집합

- 내장된 자료형 : 정수형 실수형, 문자형, 논리형

- 형 시스템 : 자료형을 정의하고 변수를 특정된 자료형으로 선언해주는 도구

- 선언문의 변화를 통해 선언된 형 이름과 변수 선언이 갖는 특성을 변화싴리 수 있음

- 명세부를 실질적인 구현부분에서 분리시켜줌

- 서로 다른 특성을 갖는 객체를 분명하게 구별함(컴파일러가 수행)

- 강 자료형(strongly type) 

- 자료형에 관한 모든 특성들이 컴파일 시간에 확정되는 프로그래밍 언어

- 단점 : 사용하는 모든 변수의 선언과 변수의 모든 자료형 정보를 미리 결정해야 함

- 장점 : 프로그램의 신뢰성, 유지보수성 가독성 향상

- 자료형의 구성원

- 객체, 요소 또는 값으로 불림

- 자료형의 구성원이 자료형 영역을 구성함

- 리터럴 : 프로그래머가 작성한 구성원

2. 단순형

- 수치형 : 정수 또는 실수 값을 표현

- 다형성 : 한 연산자가 속성은 같은데 피연산자의 자료형에 의존되어 실제 기계에서 다른 것으로 간주되는 것

- 논리형 : 값의 영역은 두 개의 객체(참,, 거짓)로 구성

- 문자형 : 문자열 연산 수행 후 문자열의 길이는 번역시간에 결정될 수 없음 > 프로그램 언어 구현의 어려움

3. 열거형

- 단순형의 일종

- 객체의 영역 : 리스트로 정해줌

4. 배열

- 배열과 레코드 : 여러 자료를 묶어서 하나의 단위로 처리할 수 있는 구조형

- 배열 : 첫 원소의 상대적 위치인 첨자로 원소를 식별하는 동질형 자료의 집합체

- 레코드 : 원소를 식별자로 구별하는 이질형 자료의 집합체

- 배열

- 이름, 차원, 원소형, 첨자 집합의 형과 범위 등으로 특징됨

- 첨자형 : 정수의 부분 범위가 일반적, 서수형 첨자의 허용

- 보통 정적 바인딩.. 때때로 동적 바인딩