Rust의 발전 방향으로, 저자는 세 가지 핵심 기술적 주제에 주목하고 있습니다.

첫째, **효과 타입(Effect Types)**을 확장하여 함수가 예외 발생, 종료 보장, 결정성, 입출력 호출 여부 등 다양한 속성을 명확히 표현하고 검증할 수 있도록 하는 것입니다.

둘째, **서브스트럭처럴 타입(Substructural Types)**을 통해 현재의 어파인(Affine) 타입을 넘어, 메모리 누수 방지와 안정적인 메모리 주소 보장을 위한 선형(Linear) 및 순서형(Ordered) 타입 지원을 강화하려는 시도입니다.

셋째, 정제 타입(Refinement Types) 개념을 도입하여 기존 타입에 패턴 기반 제약을 추가함으로써 컴파일 시점에 더 엄격한 메모리 안전성을 확보하고, 뷰 타입(View Types)을 통해 더 유연한 가변 참조 표현을 가능하게 하려는 연구입니다.

이러한 방향성은 Rust를 더욱 안전하고 생산성 높은 시스템 프로그래밍 언어로 발전시키려는 비전이며, 저자는 이를 통해 Rust가 Ada/SPARK 수준의 안전성을 갖춘 언어로 성장할 수 있다고 기대하고 있습니다.