에이다 (프로그래밍 언어)
고급 컴퓨터 프로그래밍 언어의 하나
에이다(Ada)는 구조화되고, 정적인 형태를 가지고, 명령적이며, 객체 지향적인 고급 컴퓨터 프로그래밍 언어이다. 처음에는 1977년에서 1983년까지 수백 개의 프로그래밍 언어를 대신할 목적으로 CII 허니웰 벌의 진 이히비아가 주도한 팀에서 고안된 것이다. 에이다는 C나 C++와 몇 가지 작업이 같지만, 매우 강력한 유형 시스템의 언어이다.
패러다임 | 다중 패러다임 |
---|---|
설계자 |
|
발표일 | 1980년 2월 |
최근 버전 | Ada 2012 TC1[1][2] |
최근 버전 출시일 | 2016년 2월 1일 |
미리보기 버전 | Ada 2012 TC1[3] |
미리보기 버전 출시일 | 2015년 4월 |
자료형 체계 | static, strong, safe, nominative |
운영 체제 | 크로스 플랫폼 (멀티 플랫폼) |
파일 확장자 | .adb, .ads |
웹사이트 | www |
주요 구현체 | |
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;
각주
편집- ↑ “Technical Corrigendum for Ada 2012 published by ISO”. Ada Resource Association. 2016년 1월 29일. 2016년 2월 23일에 확인함.
- ↑ “Consolidated Ada 2012 Language Reference Manual”. Ada Conformity Assessment Authority. 2016년 3월 3일에 원본 문서에서 보존된 문서. 2016년 2월 23일에 확인함.
- ↑ “Technical Corrigendum 1 for Ada 2012”. Ada Conformity Assessment Authority. 2016년 3월 2일에 원본 문서에서 보존된 문서. 2016년 2월 23일에 확인함.
- ↑ “PTC ObjectAda”. PTC.com. 2014년 1월 27일에 확인함.
- ↑ “AdaMagic with C Intermediate certificate”.
- ↑ “Chapel spec (Acknowledgements)” (PDF). Cray Inc. 2015년 10월 1일. 2016년 2월 5일에 원본 문서 (PDF)에서 보존된 문서. 2016년 1월 14일에 확인함.
외부 링크
편집- 위키미디어 공용에 에이다 관련 미디어 분류가 있습니다.
- (영어) Ada programming language 에이다 (프로그래밍 언어) - Curlie
이 글은 프로그래밍 언어에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다. |