Rust는 정말 안전하지 않은가? 메모리 안전 절대주의자들의 모순
Memory Safety Absolutists
Piotr Sarnacki가 Fil-C와 Zig의 새로운 컴파일 모드에 대한 논쟁을 통해 메모리 안전에 대한 절대주의적 접근의 문제점을 지적합니다. Fil-C는 C/C++ 코드를 메모리 안전하게 만들 수 있지만, ABI 비호환성과 GC 도입 등의 트레이드오프가 있습니다. 저자는 Rust의 unsafe가 안전하지 않다고 비판하는 이들이 정작 더 위험한 C/C++ 코드에는 관대한 모순을 꼬집으며, 실용적 관점에서 Rust의 안전성 통계(Android 사례)를 근거로 절대주의보다 균형 잡힌 접근을 주장합니다.
메모리 안전을 그토록 강하게 우려한다면, Rust조차 안전하지 않다고 생각하는 사람들은 YOLO 방식으로 작성된 C/C++나 non-fil Zig 코드를 사용하는 사람들을 Rust 개발자들만큼, 아니면 그 이상으로 비판해야 할 것입니다.