1.2 핵심 설계 철학

Ada 언어는 명확하고 뚜렷한 원칙에 따라 개발되었습니다. 작성의 용이성이나 학문적 순수성을 우선시하는 많은 프로그래밍 언어와 달리, Ada의 설계 철학은 실용적이고 현실적인 공학적 고려 사항에 기반을 두고 있습니다. 이러한 원칙은 언어의 초기 개발부터 최신 개정판에 이르기까지 일관되게 유지되었으며, 견고하고 오래 지속되는 소프트웨어 시스템을 만드는 데 중점을 둡니다.

신뢰성 및 유지보수성

Ada는 초기에 프로그램의 신뢰성과 유지보수에 중점을 두고 설계되었습니다. 이는 강력한 타입 지정 및 명시적 선언과 같은 기능을 통해 달성되며, 이는 일반적인 프로그래밍 오류를 방지하는 데 도움이 됩니다. 구문은 가독성을 위해 설계되어 모호성을 줄이고 코드 검토 및 유지보수를 용이하게 합니다. 언어의 규칙은 프로그램 변수를 불변하는 지정된 타입으로 명시적으로 선언하도록 요구합니다. 이를 통해 컴파일러는 변수에 대한 연산이 해당 타입의 의도된 속성과 호환되는지 확인할 수 있습니다. 또한 이 언어는 프로그램 유닛의 개별 컴파일을 지원하여, 단일 유닛 내에서와 동일한 수준의 검사를 유닛 간에 제공함으로써 개발 및 유지보수를 단순화합니다.

인간 활동으로서의 프로그래밍

Ada 언어 설계는 소프트웨어가 인간 프로그래머에 의해 개발되고 유지보수된다는 점을 인정합니다. 이 설계는 직관적이고 일관성 있는 구문을 제공하여 개발자의 인지 부하를 줄여줍니다. 패키지, private 타입, 제네릭 유닛과 같은 개념은 독립적으로 개발된 구성 요소로부터 프로그램을 구성하는 것을 지원하며, 이는 현대 소프트웨어 공학의 핵심 아이디어입니다. 추가적인 설계 고려 사항은 변화하는 요구 사항에 적응하기 위한 프로그램의 유지보수입니다. 타입 확장 및 계층적 라이브러리 기능은 기존의 검증된 구성 요소에 대한 영향을 최소화하면서 프로그램을 수정할 수 있도록 합니다.

효율성

Ada는 다양한 플랫폼에서 효율적으로 작동하도록 설계되었습니다. 언어 설계는 지나치게 정교한 컴파일러를 필요로 하거나 메모리 또는 CPU 시간과 같은 자원의 비효율적인 사용을 초래할 수 있는 구문을 피합니다. 모든 언어 구문은 당시의 구현 기술에 비추어 검토되었으며, 불명확하거나 과도한 기계 자원을 필요로 하는 제안된 구문은 거부되었습니다. 이러한 설계 선택은 Ada가 자원이 제한된 환경 및 성능이 중요한 요소인 애플리케이션에서 사용될 수 있도록 보장합니다.