이 자식들은 양심도 없어서

Ada의 존재를 숨기기 급급합니다.

ㅎㅎㅎ

러스트 ㅃㅏ돌이들은 상종 못할 인간들입니다.

전세계 언어 개발자들도 피곤해하고

전세계 플젝 주인들도 피곤해합니다.

---

1.3 Ada의 주요 특징

Ada는 신뢰성 및 유지보수, 인간 활동으로서의 프로그래밍, 효율성을 목표로 설계된 프로그래밍 언어입니다. 이러한 설계 철학은 언어의 여러 가지 특징에 반영되어 있습니다. 본 절에서는 Ada의 핵심적인 특징들을 소개합니다.

신뢰성과 안전성 (reliability and safety)

소프트웨어 시스템에서 신뢰성(reliability)은 명시된 기간 동안 의도된 기능을 오류 없이 수행하는 확률을 나타내며, 안전성(safety)은 오작동이 치명적인 사고로 이어지지 않도록 하는 시스템의 속성을 의미합니다. Ada는 컴파일 시점에 수행되는 정적 검사(static check)와 실행 시점에 이루어지는 런타임 검사(runtime check)를 언어 차원에서 지원합니다.

정적 검사는 프로그램 실행 전 소스 코드를 분석하여 오류를 탐지 및 방지하는 과정입니다. Ada 컴파일러는 타입 불일치, 서브프로그램 호출 시의 매개변수 오류, 패키지의 비공개(private) 영역 접근 위반, 초기화되지 않은 변수의 사용 가능성 등 다양한 종류의 결함을 컴파일 단계에서 검출합니다.

이러한 정적 분석의 기반은 Ada의 강타입 시스템(strong type system)입니다. 이 시스템은 서로 다른 데이터 타입 간의 연산을 허용하지 않습니다. 예를 들어, Meters로 정의된 거리 타입과 Kilograms로 정의된 무게 타입 변수 간의 산술 연산은 컴파일 시점에 오류로 처리되어 데이터의 의미상 오류를 방지합니다. 이러한 정적 검증은 개발 초기 단계에서 논리적 오류를 식별하여 소프트웨어의 견고성(robustness)과 신뢰성을 향상시킵니다.

정적 분석만으로 탐지하기 어려운 동적 오류에 대응하기 위해, Ada는 프로그램 실행 중에 이루어지는 런타임 검사(runtime check)를 통해 예외적 상황에 대응합니다. 언어 표준에 명시된 런타임 검사는 다양한 종류의 오류를 감지합니다. 여기에는 배열 인덱스 범위 초과나 정수 오버플로와 같은 메모리 및 데이터 무결성 저해 동작, 초기화되지 않은 코드를 호출하는 프로그램 논리 오류, 그리고 종료된 태스크에 접근하려는 동시성 오류 등이 포함됩니다. 런타임 검사가 실패하면, 시스템은 미정의 상태(undefined state)가 되는 대신 제어된 방식으로 예외(exception)를 발생시킵니다. 개발자는 예외 처리 구문을 통해 이러한 상황에 대응할 수 있습니다.

또한, Ada는 선언적 명세를 통해 서브프로그램의 동작을 정의하는 계약 기반 프로그래밍(Programming by Contract)을 지원합니다. 개발자는 서브프로그램 실행 전에 만족해야 할 사전조건(precondition)과 실행 후에 보장해야 할 사후조건(postcondition)을 명시할 수 있습니다. 이러한 계약은 실행 중에 검증되어 프로그램의 논리적 정확성을 보증합니다.

Ada의 런타임 검사는 실행 중에 특정 오류를 감지하지만, 그보다 더 높은 수학적 정확성이 요구될 경우 정형 검증(formal verification)을 사용할 수 있습니다. 그 예시인 SPARK는 Ada의 검증 가능한 부분집합(verifiable subset)으로서, 코드에 명시된 계약이 모든 실행 경로에서 만족됨을 정적 분석을 통해 증명합니다.

동시성 (concurrency)

Ada 프로그램의 실행은 하나 이상의 태스크(task) 실행으로 구성됩니다. 각 태스크는 독립적으로 동시에 실행되는 분리 가능한 활동(separable activity)을 나타냅니다. 태스크는 엔트리 호출(entry call)을 통해 다른 태스크와 동기적으로 통신할 수 있습니다.

여러 태스크가 공유 데이터에 접근할 때의 데이터 경쟁(data race)을 방지하기 위해 Ada는 보호된 객체(protected object)를 제공합니다. 보호된 객체는 보호된 연산(protected operation)을 통해서만 데이터 접근을 허용하며, 보호된 연산에는 배타적인 읽기-쓰기를 위한 보호된 프로시저(protected procedure), 동시적인 읽기 전용 접근을 위한 보호된 함수(protected function), 그리고 특정 조건이 만족될 때까지 태스크를 대기시키는 보호된 엔트리(protected entry)가 있습니다.

모듈성과 데이터 추상화

Ada는 패키지(package)를 통해 대규모 소프트웨어를 체계적으로 구성하고 관리하는 기능을 지원합니다. 패키지는 관련된 타입, 변수, 서브프로그램 등을 하나의 논리적인 그룹으로 묶는 역할을 합니다. 각 패키지는 인터페이스를 정의하는 명세(specification)와 실제 구현을 포함하는 본체(body)로 분리됩니다. 패키지 명세는 외부에서 사용 가능한 가시부(visible part)와 private 예약어 뒤에 오는 전용부(private part)를 포함할 수 있습니다. 이를 통해 데이터의 내부 표현을 숨기고 외부에는 필요한 연산만 노출하는 데이터 추상화가 가능합니다.

객체 지향 프로그래밍 (Object-Oriented Programming)

Ada는 패키지를 통한 데이터 추상화 기능을 기반으로, Ada 95부터 객체 지향 프로그래밍을 지원합니다. 객체 지향 프로그래밍의 3대 핵심 원칙은 캡슐화, 상속, 다형성입니다.

캡슐화란 데이터와 그 데이터에 작용하는 메서드를 함께 묶는 것을 용이하게 하고 객체의 구성 요소 중 일부에 대한 직접적인 접근을 제한하기 위한 언어적 메커니즘입니다.¹ Ada에서는 패키지를 사용하여 데이터와 관련 서브프로그램을 하나의 단위로 묶고, private 타입 또는 private 확장을 통해 내부 구현을 외부로부터 분리할 수 있습니다.

상속(inheritance)은 하나의 객체나 클래스가 다른 객체나 클래스를 기반으로 하여, 유사한 구현을 유지하는 메커니즘입니다.² Ada에서는 태그된 타입(tagged type)을 사용하여 기존 타입의 데이터와 기능을 상속받는 새로운 타입을 파생시키고, 타입 간의 계층 구조를 표현할 수 있습니다.

다형성(polymorphism)은 서로 다른 데이터 타입의 개체(entities)들에게 하나의 공통 인터페이스를 제공하는 것입니다.³ Ada에서는 클래스-범위(class-wide) 타입과 태그(tag)를 사용하여, 해당 타입에 맞는 실제 서브프로그램을 동적으로 결정할 수 있습니다.

함수형 프로그래밍 지원 (Support for Functional Programming)

Ada는 순수 함수형 언어는 아니지만, Ada 2012와 2022 표준을 통해 함수형 프로그래밍 스타일의 기능들이 도입 및 확장되었습니다.

Ada는 로직을 문장(statement)이 아닌 값을 반환하는 표현식(expression) 중심으로 구성하는 것을 지원하며, 여기에는 단일 표현식으로 함수를 정의하는 표현식 함수(expression function), 조건에 따라 값을 결정하는 조건 표현식(conditional expression) 및 case 표현식, 그리고 표현식 내에서 임시 상수를 선언하는 선언식 표현(declare expression), 그리고 컨테이너의 모든 원소를 하나의 값으로 집계하는 감축 표현식(reduction expression)이 포함됩니다.

이러한 표현식 중심의 접근은 데이터 처리에도 적용됩니다. 수량자 표현식(quantified expression)은 루프 없이 컨테이너 원소의 속성을 검사하며, 일반화된 반복자(generalized iterator)와 이터레이터 필터(iterator filter)는 데이터의 순회 및 필터링을 지원합니다. 또한 델타 애그리게이트(delta aggregate)는 기존 객체를 수정하지 않고 일부 값만 변경된 새로운 객체를 생성하여 불변성(immutability)을 지원합니다.

효율성 (efficiency)

Ada 언어의 설계 목표 중 효율성은 컴파일러의 효율성과 언어의 효율성이라는 두 가지 관점에 반영되어 있습니다.

Ada 언어는 지나치게 정교한 컴파일러를 요구하지 않도록 설계되었습니다. 언어의 문법이 명확하고 모호함이 적어, 컴파일러의 정적 분석(static analysis)이 용이합니다. 이러한 설계 특성으로 인해, 상대적으로 단순한 컴파일러로도 언어 표준을 구현할 수 있습니다. 결과적으로 자원이 제한된 개발 환경에서도 Ada의 사용이 가능합니다.

또한, Ada 언어의 구성 요소들은 저장 공간(storage)과 실행 시간(execution time)을 효율적으로 사용하도록 설계되었습니다. 예를 들어, 제네릭(generic), 패키지(package) 등의 고수준의 추상화 기능을 사용하더라도 성능 저하 및 런타임 오버헤드가 최소화될 수 있도록 설계되었습니다. 정밀한 자원 제어 기능 또한 제공됩니다. 프로그래머는 '표현 절(representation clause)'을 사용해 데이터 구조를 메모리에 비트 단위까지 직접 배치할 수 있으며, '프라그마(pragma)'를 통해 컴파일러의 최적화 방식을 제어할 수 있습니다. '병렬 루프(parallel loop)'와 같은 구문을 통해 멀티코어 프로세서를 활용하도록 지원합니다. 이는 언어의 기본 동시성 모델과 결합하여 병렬 처리 프로그램을 작성하는 데 사용됩니다.

가독성과 유지보수성 (Readability and Maintainability)

Ada의 구문은 자연어(영어)와 유사하게 설계되었습니다. 예를 들어, if 문의 끝은 end if;로, loop 문의 끝은 end loop;로 명확하게 표시합니다. 이러한 명시성은 개발자가 프로그램의 논리 구조를 이해하는 데 도움을 줍니다.

높은 가독성은 장기적인 유지보수성을 고려하는 Ada의 설계 방향을 보여줍니다. 대규모 시스템에서 명확한 코드는 오류 발생 가능성을 줄이고 기능 추가 및 수정을 용이하게 하는 요소로 작용합니다.