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

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

1977년부터 1983년까지 미국 국방부(DoD)의 계약에 따라 CII 허니웰 벌(CII Honeywell Bull)의 진 이히비아가 주도하는 팀에서 고안되었다. 당시 미국 국방부 내에서 사용되던 수백 개의 프로그래밍 언어를 단일 언어로 통합하려는 목적으로 개발이 시작되었다. 이후 터커 태프트(Tucker Taft) 등이 주도하여 객체 지향 기능 등을 추가하며 발전하였다.

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

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

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

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

with Ada.Text_IO;

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