The Expensive Fictions of Low-Level Programming Languages
Low-level languages like C and C++ impose high cognitive and security costs through undefined behavior and manual memory management. The article argues these languages' hardware abstractions are increasingly broken, advocating for safer alternatives like Rust that offer stronger guarantees without sacrificing performance.
Background
- The article challenges the assumption that low-level languages (C, C++, Rust) are inherently faster than high-level ones (Python, Java, Go). It argues this "fiction" leads to unnecessary complexity, security bugs, and wasted effort.
- Low-level languages give direct control over memory and hardware but require manual memory management, which causes buffer overflows, use-after-free errors, and other vulnerabilities behind countless real-world exploits.
- The author contrasts "performance theater" (premature optimization in low-level languages) with pragmatic engineering, arguing that high-level languages with optimized runtimes often match or beat hand-tuned low-level code for most applications.
- The piece joins a long-running debate in software engineering. Recent relevance comes from the rise of memory-safe languages like Rust and a 2024 U.S. government report urging a shift away from memory-unsafe languages.