Rust를 넘어서는 메모리 안전성: 새로운 언어 설계 제안

제안된 시스템의 핵심 중 하나는 선형 타입(Linear Types)으로, 각 값이 정확히 한 번만 해제(Drop)됨을 보장합니다. 이는 '사용(Use)'을 '해제(Drop)'와 동일시하는 독특한 정의를 사용합니다. 커뮤니티에서는 이러한 접근 방식이 메모리 누수(Memory Leaks)를 방지하는 데 효과적일 것으로 기대하면서도, 함수 경계(Function Boundaries)를 넘나드는 타입 시그니처(Type Signatures)와 배열 필드(Array Fields)의 상태 추적 방식에 대한 구체적인 구현 방안에 대한 질문이 있었습니다.

이 시스템은 흐름 민감 타입(Flow-Sensitive Types), 정제 타입(Refinement Types), 그리고 추상 해석(Abstract Interpretation) 등 여러 고급 프로그래밍 언어 이론 개념을 통합하고 있습니다. 이로 인해 시스템의 복잡성이 증가하며, 일부 사용자는 이것이 '마법(Magic)'처럼 느껴지지만 실제로는 '풋건(Footgun)'이 될 수 있다고 우려를 표했습니다. 특히, 알리아싱(Aliasing) 문제와 같은 복잡한 시나리오를 어떻게 처리할지에 대한 심층적인 분석이 다음 포스트에서 다뤄질 예정입니다.