언어의 타입 프로그램에서 변수의 타입이 언제 결정되는지에 따라 언어를 정적 타입, 동적 타입 언어로 구분할 수 있다. 변수의 타입이 컴파일 시간에 결정되어 고정된다면 정적 타입 언어이며, 변수의 타입이 고정되지 않고 실행 중에 변하는 언어를 동적 타입 언어라 한다. 정적 타입 언어에는 Java, C, C++, FORTRAN, Pascal, Scala 등이, 동적 타입 언어로는 Perl, Python, Scheme, JavaScript 등이 있다. 정적 타입 언어는 변수 타입이 컴파일 시간에 결정되어 고정되므로 타입 검사 역시 컴파일 시간에 이루어지는 반면, 동적 타입 언어는 변수 타입이 실행 중에 변할 수 있으므로 타입 검사는 인터프리터에 의해 실행 중에 이루어진다. 강한 타입, 약한 타입 타입 사용 ..

자료형 프로그램에서 표현하고 저장하는 데이터에는 여러 종류가 있다. 이 데이터의 종류, 유형을 자료형(Data Type)이라 한다. 자료형의 정의는 다음과 같다. 자료형은 값들의 집합과 이 값들에 대한 연산들의 집합이다. 선언문 int x;에 대해 생각해 보자. 여기서 자료형은 int이고, int 타입은 이 타입의 변수가 가질 수 있는 값들의 집합을 의미한다. 기본 자료형 자료형은 값들의 타입을 의미한다. 기본 자료형(Basic Type)이란 더 이상 쪼갤 수 없는 값들로 구성된 자료형을 말하며, 빌트인(built - in) 기본 자료형과 사용자 정의(user defeined) 기본 자료형으로 나눈다. 빌트인 기본 자료형은 프로그래밍 언어에 의해 사전 정의된 기초 자료형이며, 예시로 boolean,..