Rust 프로젝트 목표: 이동 불가능한 타입과 보장된 소멸자 | Hacker News

Hacker News에서 Rust의 구조적 동시성과 async 안전성을 높이기 위한 언어 설계 논의가 소개됐다.

핵심 제안은 scoped tasks, immobile types, guaranteed destructors로, async 작업의 완료·취소 보장을 강화하자는 것이다.

이 아이디어는 scoped threads처럼 안전한 빌림을 가능하게 하고, 스택 데이터를 작업 간에 다루는 문제를 줄일 수 있다.

채택된다면 Rust의 async 코드가 더 안전하고 예측 가능해져, cancellation 처리와 reasoning이 쉬워질 수 있다.