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

에이다(Ada)는 구조화되고, 정적인 형태를 가지고, 명령적이며, 객체 지향적인 고급 컴퓨터 프로그래밍 언어이다. 처음에는 1977년에서 1983년까지 수백 개의 프로그래밍 언어를 대신할 목적으로 CII 허니웰 벌의 진 이히비아가 주도한 팀에서 고안된 것이다. 에이다는 C나 C++와 몇 가지 작업이 같지만, 매우 강력한 유형 시스템의 언어이다.

에이다

패러다임	다중 패러다임
설계자	MIL-STD-1815/Ada 83: 진 이히비아(Jean Ichbiah) Ada 95: Tucker Taft Ada 2005: Tucker Taft Ada 2012: Tucker Taft
발표일	1980년 2월(44년 전)(1980-02)
최근 버전	Ada 2012 TC1[1][2]
최근 버전 출시일	2016년 2월 1일(8년 전)(2016-02-01)
미리보기 버전	Ada 2012 TC1[3]
미리보기 버전 출시일	2015년 4월(9년 전)(2015-04)
자료형 체계	static, strong, safe, nominative
운영 체제	크로스 플랫폼 (멀티 플랫폼)
파일 확장자	.adb, .ads
웹사이트	www.adaic.org
주요 구현체
AdaCore GNAT (무료 다운로드: http://libre.adacore.com/download), 그린 힐스 소프트웨어 Optimising Ada 95 컴파일러, PTC, Inc. PTC ApexAda and PTC ObjectAda,[4] “MapuSoft Ada-C/C++ changer”., 과거 이름: "AdaMagic with C Intermediate",[5] DDC-I 스코어
방언
SPARK, Ravenscar profile
영향을 받은 언어
ALGOL 68, 파스칼, C++ (Ada 95), 스몰토크 (Ada 95), Modula-2 (Ada 95) 자바 (Ada 2005), 에펠 (Ada 2012)
영향을 준 언어
C++, Chapel,[6] “Drago”. 2020년 9월 14일에 원본 문서에서 보존된 문서. 2019년 8월 31일에 확인함., Eiffel, “Griffin”., 자바, 님, ParaSail, PL/SQL, PL/pgSQL, 루비, Seed7, “SPARforte”., Sparkel, SQL/PSM, VHDL

에이다는 컴퓨터 프로그래밍을 발명하는 데 공헌한 에이다 러브레이스(1815~1852년)의 이름을 딴 것이다.

역사

1970년대에 에이다(Ada)는 미국 국방성(Department of Defence: DoD)을 위해서 개발되었고, DoD의 컴퓨터 응용 분야의 대부분이 임베디드 프로그램이었다. 하드웨어에 의존성 때문에 각기 다른 언어를 설계해서 사용되었다. 소프트웨어의 재사용성은 거의 없었다. 소프트웨어의 복잡성의 증가와 표준화되지 않은 언어들로 인하여 소프트웨어 개발 비용이 급증한다. 이러한 이유 때문에 1974년에 미국의 육, 해, 공군은 각기 독립적으로 운영되던 내장 시스템을 단일한 언어로 개발하기 위해 고급언어의 개발을 제안한다.

예

헬로 월드

언어의 구문의 일상적인 예로 들 수 있는 헬로 월드 프로그램:

with Ada.Text_IO;

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

자료형

type Day is range 1 .. 31;
type Month is range 1 .. 12;
type Year is range 1800 .. 2100;

type Date is
   record
     Day   : Day;
     Month : Month;
     Year  : Year;
   end record;

제어 구조

while a /= b loop
  Ada.Text_IO.Put_Line ("Waiting");
end loop;

if a > b then
  Ada.Text_IO.Put_Line ("Condition met");
else
  Ada.Text_IO.Put_Line ("Condition not met");
end if;

for i in 1 .. 10 loop
  Ada.Text_IO.Put ("Iteration: ");
  Ada.Text_IO.Put (i);
  Ada.Text_IO.Put_Line;
end loop;

loop
  a := a + 1
  exit when a = 10;
end loop;

case i is
  when 0 => Ada.Text_IO.Put("zero");
  when 1 => Ada.Text_IO.Put("one");
  when 2 => Ada.Text_IO.Put("two");
end case;

패키지, 프로시저, 함수

with Ada.Text_IO;

package Mine is

  type Integer is range 1 .. 11;

  i : Integer := Integer'First;

  procedure Print (j: in out Integer) is

    function Next (k: in Integer) return Integer is
    begin
      return k + 1;
    end Next;

  begin
    Ada.Text_IO.Put_Line ('The total is: ', j);
    j := Next (j);
  end Print;

begin
  while i < Integer'Last loop
    Print (i);
  end loop;
end Mine;

각주

1. “Technical Corrigendum for Ada 2012 published by ISO”. Ada Resource Association. 2016년 1월 29일. 2016년 2월 23일에 확인함.
2. “Consolidated Ada 2012 Language Reference Manual”. Ada Conformity Assessment Authority. 2016년 3월 3일에 원본 문서에서 보존된 문서. 2016년 2월 23일에 확인함.
3. “Technical Corrigendum 1 for Ada 2012”. Ada Conformity Assessment Authority. 2016년 3월 2일에 원본 문서에서 보존된 문서. 2016년 2월 23일에 확인함.
4. “PTC ObjectAda”. PTC.com. 2014년 1월 27일에 확인함.
5. “AdaMagic with C Intermediate certificate”.
6. “Chapel spec (Acknowledgements)” (PDF). Cray Inc. 2015년 10월 1일. 2016년 2월 5일에 원본 문서 (PDF)에서 보존된 문서. 2016년 1월 14일에 확인함.

외부 링크

• 위키미디어 공용에 에이다 관련 미디어 분류가 있습니다.
• (영어) Ada programming language 에이다 (프로그래밍 언어) - Curlie