두둥~~~

이런 글을 러스트 빠돌이들이 제일 싫어합니다.

1.2 Ada의 주요 특징

    1.2.1 타입 안전성 (Type Safety)
    1.2.2 메모리 안전성 (Memory Safety)
    1.2.3 런타임 안전성 (Runtime Safety)
    1.2.4 예외 처리 (Exception Handling)
    1.2.5 패키지를 통한 모듈화 (Modularity through Packages)
    1.2.6 객체 지향 프로그래밍 지원 (Object-Oriented Programming Support)
    1.2.7 표현식 및 함수형 프로그래밍
    1.2.8 동시성 안전성 (Concurrency Safety)
    1.2.9 계약 기반 안전성 (Contract-Based Safety)
    1.2.10 SPARK를 통한 증명 가능한 안전성
    1.2.11 가독성과 유지보수성 (Readability and Maintainability)