Ada
Ada(에이다)는 장기간 유지되는 대규모 소프트웨어와 높은 신뢰성이 요구되는 시스템을 위해 설계된 범용 프로그래밍 언어다. 강한 정적 타입 시스템, 명시적인 모듈 인터페이스, 예외 처리, 동시성 지원과 계약 기반 프로그래밍을 특징으로 한다. 미국 국방부의 언어 통합 요구에서 출발하여 1...
| 명칭 | Ada |
|---|---|
| 분류 | 범용 프로그래밍 언어, 시스템 프로그래밍 언어 |
| 설계 책임자 | Jean Ichbiah(초기), S. Tucker Taft(Ada 95) |
| 최초 표준 | Ada 83 |
| 최신 주요 언어 개정 | Ada 2022 |
| 국제 표준 | ISO/IEC 8652:2023 |
| 패러다임 | 명령형 프로그래밍, 객체 지향 프로그래밍, 동시성 프로그래밍 |
| 타입 체계 | 강한 정적 타입 체계 |
| 주요 구현 | GNAT |
| 관련 언어 | SPARK, Pascal, ALGOL |
| 주요 분야 | 항공우주, 국방, 철도, 임베디드 및 고신뢰성 시스템 |
Ada(에이다)는 장기간 유지되는 대규모 소프트웨어와 높은 신뢰성이 요구되는 시스템을 위해 설계된 범용 프로그래밍 언어다. 강한 정적 타입 시스템, 명시적인 모듈 인터페이스, 예외 처리, 동시성 지원과 계약 기반 프로그래밍을 특징으로 한다. 미국 국방부의 언어 통합 요구에서 출발하여 1980년대 초 Jean Ichbiah가 이끄는 개발팀을 중심으로 초기 언어가 설계되었고, Ada 83에서 Ada 95, Ada 2005, Ada 2012 및 Ada 2022를 거치며 발전하였다. 언어의 이름은 에이다 러브레이스를 기려 붙였다. Ada 2022는 2023년 발행된 국제 표준 ISO/IEC 8652:2023에 대응한다.[1][2]