Evergreen, 컴파일러가 안전성을 증명하는 시스템 언어 등장
Evergreen: A Provably Safe Systems Language
Evergreen은 명시적 계약과 불변식, 메모리 제어를 한 언어에 통합한 시스템 프로그래밍 언어다. 전제조건·사후조건·데이터 불변식을 코드 옆에 적으면 컴파일러가 이를 검사 의무로 삼아 증명한다. C보다 강력하고 Rust보다 안전하다고 내세우며, 증명과 보조정리는 검사 후 지워져 실행 성능에는 영향을 주지 않는다. 웹사이트에서 WebAssembly로 로컬 실행되는 플레이그라운드를 제공한다.
Evergreen은 명시적 계약, 검사된 불변식, 메모리 제어를 하나의 언어로 결합한다. 지켜져야 할 것을 적어라. 컴파일러가 그것이 지켜지는지 검사하게 하라.