Evergreen：比C强大，比Rust安全

Evergreen: A Provably Safe Systems Language

Evergreen 是一门全新的系统编程语言，旨在将显式契约、不变量检查和内存控制融为一体。它允许开发者直接在代码中写下必须满足的条件，例如前置条件和后置条件，并让编译器自动验证这些约束。相比 C 语言，它提供了更强的能力；相比 Rust，它提供了更高的安全性。Evergreen 的编译器能够深入理解内存布局、所有权和借用引用，确保内存安全。更关键的是，所有的证明、归纳引理和理想计算在编译检查后都会被擦除，不会给最终的可执行代码带来任何性能开销。这意味着开发者可以在享受形式化验证带来的安全性的同时，依然获得高性能的系统级代码。