에이다 (프로그래밍 언어)

에이다는 파스칼(Pascal) 언어에서 처음 사용된 구조적 개념을 기반으로 만들어진 범용 프로그래밍 언어이다. 설계 방침은 어떤 프로그램이라도 기술할 수 있도록 강력하고 광범위한 기능을 갖추는 것이었다. 특히 컴파일러가 런타임 오류 대신 컴파일 단계에서 오류를 찾아내도록 유도하여 코드의 안전성과 유지보수성을 향상시킨다. 에이다는 C나 C++와 몇 가지 작업이 같지만, 매우 강력한 유형 시스템을 가진 언어로 평가된다.

1977년부터 1983년까지 미국 국방부(DoD)의 계약에 따라 CII 허니웰 벌의 진 이히비아가 주도하는 팀에서 고안되었다. 당시 미국 국방부 내에서 사용되던 수백 개의 프로그래밍 언어를 단일 언어로 통합하려는 목적으로 개발이 시작되었다. 1980년 2월에 첫 번째 표준이 발표되었고, 이후 터커 태프트 등이 주도하여 객체 지향 기능 등을 추가하며 발전하였다. 언어의 이름은 세계 최초의 프로그래머로 알려진 에이다 러브레이스(Ada Lovelace)에서 따왔다.

에이다는 다음과 같은 기술적 특징을 보유하고 있다.

• 강력한 유형 시스템: 매우 엄격한 타입 체크를 통해 프로그래밍 실수를 사전에 방지한다.
• 병행성 지원: 태스크(Tasks), 동기식 메시지 전달, 보호 객체(Protected objects) 등 병행 프로그래밍을 위한 기능을 언어 차원에서 내장하고 있다.
• 계약에 의한 설계(DbC): 프로그램의 동작을 규정하는 계약 조건을 명시적으로 지원한다.
• 결정론적 동작: 비결정론적 요소를 제어하여 실시간 시스템이나 안전이 중요한 시스템에 적합하도록 설계되었다.

에다는 국제 표준화 기구(ISO)와 국제 전기 표준 회의(IEC)에 의해 공동으로 정의되는 국제 기술 표준이다. 주요 버전은 다음과 같다.

에다는 안전성과 신뢰성이 중요한 시스템에서 주로 사용된다. 대표적인 분야로는 항공 전자, 철도 신호, 의료 기기, 우주 탐사, 국방 시스템 등이 있다. 실시간 시스템에서 결정론적 동작을 보장해야 하는 임베디드 시스템에 적합하다. 또한 상업용 컴파일러와 무료 컴파일러(GNAT)가 모두 존재하여 다양한 플랫폼에서 사용 가능하다.

에이다의 주요 구현체로는 AdaCore에서 개발한 GNAT(GNU Ada Translator)가 있다. GNAT는 GCC(GNU Compiler Collection)의 일부로 제공되며, 무료로 사용할 수 있다. 그 외에도 그린 힐스 소프트웨어의 Optimising Ada 95 컴파일러, PTC의 ApexAda 및 ObjectAda, MapuSoft의 Ada-C/C++ 체인저 등이 있다. 이러한 구현체들은 다양한 운영 체제와 하드웨어 플랫폼을 지원한다.

다음은 에이다 언어로 작성된 표준 출력 예제이다.

with Ada.Text_IO;
procedure Hello is
begin
 Ada.Text_IO.Put_Line("Hello, world!");
end Hello;