· 程序必须正确。
· 程序必须可维护，但不能违反第一条定律。
· 程序必须高效，但不能违反前两条定律。
—— Rust 社区