안녕하세요. 프갤러 여러분.

Ada(에이다) 프로그래밍을 연재합니다.

머리말

본 서적은 Ada(에이다) 프로그래밍 언어에 대한 기술적인 소개를 목적으로 합니다. 내용은 프로그래밍 경험이 있는 독자들이 이해할 수 있도록 구성되었으며, 기초 개념부터 동시성 및 고신뢰성 시스템과 같은 고급 주제까지 다룹니다. 본 서적의 모든 코드 예제는 부록에 포함된 Clair 코딩 스타일 가이드를 따릅니다. 이 가이드는 다양한 프로그래밍 언어의 규칙을 Ada의 특성에 맞게 조정하여, 모든 소스 코드가 일관되고 가독성 있는 형식을 갖추도록 합니다.

Ada 언어는 원래 세 가지 주요 설계 목표를 가지고 개발되었습니다.

• 신뢰성 및 유지보수성: Ada는 프로그램의 정확성과 장기적인 지속 가능성을 우선시합니다. 이는 강한 타입 검사, 명시적 선언, 컴파일 시점 검사와 같은 기능을 통해 일반적인 프로그래밍 오류를 방지함으로써 달성됩니다. 문법은 가독성을 위해 설계되어 모호함을 줄이고 코드 검토 및 유지보수를 용이하게 합니다.
• 인간의 활동으로서의 프로그래밍: 이 언어는 소프트웨어가 인간 프로그래머에 의해 개발되고 유지보수된다는 점을 인정합니다. 직관적이고 일관된 구문을 제공하여 인지 부하를 줄입니다. 패키지 및 제네릭 유닛과 같은 기능은 독립적으로 개발된 컴포넌트로 프로그램을 구성하는 것을 지원하며, 이는 현대 소프트웨어 공학의 핵심적인 측면입니다.
• 효율성: Ada는 다양한 플랫폼에서 효율적으로 작동하도록 설계되었습니다. 언어는 과도하게 복잡한 컴파일러를 필요로 하거나 메모리 또는 CPU 시간과 같은 자원을 비효율적으로 사용하는 구문을 피하도록 개발되었습니다. 이러한 설계 선택은 Ada가 자원 제약이 있는 환경과 성능이 중요한 응용 프로그램에 사용될 수 있도록 보장합니다.

Ada 2022를 포함한 Ada 1995 표준의 후속 개정판들은 이러한 기본 원칙들을 확장해 왔습니다. Ada 2022는 동시성 지원 강화, 타입 유연성 향상, 다양한 응용 분야를 위한 표준화된 패키지 등의 기능을 도입하는 동시에 신뢰성, 유지보수성, 효율성에 대한 언어의 핵심적인 강조점을 유지합니다.