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

고급 컴퓨터 프로그래밍 언어의 하나

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

에이다
패러다임다중 패러다임
설계자
  • 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 isbegin  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;

각주

외부 링크