Ante: 빌림 검사와 참조 카운팅을 결합하는 새 방식

← 피드로

Ante는 참조 카운팅의 유연성과 빌림 검사의 안전성을 함께 쓰면서, Rust식 런타임 패닉이나 Swift식 독점 접근 검사 오버헤드를 피하려는 시스템 언어 설계임 핵심 장치는 shape-stability와 temporary uniq conversion으로, 참조 카운팅된 값의…

원문 보기 ↗