Ada, 그 설계, 그리고 언어들을 만든 언어

Ada는 1980년대 초부터 오늘날의 현대적 언어들이 뒤늦게 따라간 설계들을 이미 갖추고 있었다.

• 패키지는 specification과 body를 엄격히 분리해, 인터페이스와 구현의 경계를 컴파일러가 강제한다.
• private type은 표현을 완전히 숨겨, 클라이언트가 내부 구조를 추측하거나 우회하지 못하게 한다.
• range type은 type Age is range 0 .. 150처럼 의미를 타입에 직접 넣어, 의미 혼동을 컴파일 타임에 막는다.
• discriminated record는 sum type / algebraic data type에 해당하며, 어떤 필드가 존재하는지까지 컴파일러가 검사한다.
• generic unit은 parametric polymorphism을 표준 기능으로 제공해, 타입별 재사용 코드를 정식 언어 기능으로 만들었다.
• tasking / concurrency는 라이브러리가 아니라 언어 명세에 포함됐고, 이후 protected objects, null 제외, contracts까지 더해졌다.

배경은 소프트웨어 과학이 아니라 조달 실패였다. 1970년대 DoD는 450개가 넘는 언어와 방언이 난립한 상태를 정리해야 했고, 그 결과 Steelman 요구사항을 만들었다. 여기에는 강한 정적 타이핑, 인터페이스/구현 분리, 동시성, 예외 처리, 기계 독립성, 검증 가능성이 포함됐다.

그 요구를 바탕으로 1979년 Green team이 선정됐고, 언어는 Ada라는 이름을 얻었다. 글은 C, Java, Python, JavaScript, Go, Rust, C#, Swift, TypeScript가 각각 어떤 방식으로 Ada의 설계를 나중에 재발견했는지 비교하며, Ada가 ‘난해한 정부 언어’가 아니라 현대 언어 안전성의 선행 모델이었다고 주장한다.