4.1.1 타입의 정의와 중요성

Ada에서 타입(Type)은 프로그램을 구성하는 데이터의 성질과 사용 방법을 정의하는 핵심 개념입니다. 모든 변수, 상수, 객체는 반드시 특정 타입에 속하며, 이 타입은 해당 데이터가 어떤 값들을 가질 수 있고 어떤 연산이 가능한지를 결정합니다.

🔹 타입이 정의하는 두 가지 요소

1. 값의 집합 (Set of Values)

   • 타입은 해당 객체가 가질 수 있는 값들의 범위를 명시합니다.
     
   • 예: Boolean 타입은 오직 True와 False 두 값만을 포함합니다.
     
   • 예: Integer 타입은 지정된 범위 내의 정수값을 포함합니다 (예: -100 .. 100).

2. 연산의 집합 (Set of Operations)

   • 타입은 해당 값들에 적용 가능한 연산자나 서브프로그램을 정의합니다.
     
   • 예: Integer 타입은 +, -, *, / 등의 산술 연산을 지원합니다.
     
   • 예: Boolean 타입은 and, or, not 등의 논리 연산을 지원합니다.

🔹 Ada 타입 시스템의 특징

• 강타입(Strong Typing)
  Ada는 타입 간의 호환성을 엄격하게 검사합니다. 서로 다른 타입 간의 암묵적 변환을 허용하지 않으며, 명시적 변환이 필요한 경우에도 타입의 의미적 일치를 요구합니다.

• 정적 타입 검사(Static Type Checking)
  모든 타입 관련 오류는 컴파일 시점에 감지됩니다. 예를 들어, 정수와 문자를 더하려는 시도는 컴파일러가 즉시 오류로 처리합니다.

• 신뢰성과 명확성 향상
  타입 시스템은 프로그램의 논리적 오류를 사전에 방지하여, 안정성과 유지보수성을 높입니다. 특히, 안전성이 중요한 항공, 국방, 의료 시스템에서 Ada가 널리 사용되는 이유 중 하나입니다.

🔹 예시

type Temperature is range -100 .. 100;
type Status is (On, Off);

Temp : Temperature := 25;
Power : Status := On;

-- Temp := "Hot";  -- 오류: 문자열은 Temperature 타입과 호환되지 않음
-- Power := 1;     -- 오류: 정수는 Status 타입과 호환되지 않음

이처럼 Ada의 타입 시스템은 의도하지 않은 데이터 사용을 방지하고, 개발자의 설계 의도를 명확하게 표현할 수 있도록 돕습니다.