동적 타입 언어와 정적 타입 언어

동적 타입 언어와 정적 타입 언어 (22.02.16 작성) C 나 JAVA 는 정적 타입 언어 이다. 변수를 선언할 때 변수에 할당할 수 있는 값의 종류, 즉 데이터 타입을 사전에 선언해야 한다. 이를 명시적 타입 선언 이라 한다. 정적 타입 언어는 변수의 타입을 변경할 수 없다. 변수에 선언한 타입에 맞는 값만 할당할 수 있다. 정적 타입 언어는 컴파일 시점에 타입 체크 (선언한 데이터 타입에 맞는 값을 할당했는지 검사하는 처리) 를 수행 한다. 타입 체크를 통과하지 못했다면 에러를 발생 시키고 프로그램의 실행 자체를 막는다. 타입의 일관성을 강제함으로써 더욱 안정적인 코드의 구현을 통해 런타임에 발생하는 에러를 줄인다. 즉 매우 번거롭지만 안정적인 코드의 구현이 가능하다는 소리이다. 대표적인 정적 타..

2023.06.05