Systems programming language with memory safety, zero-cost abstractions, and fearless concurrency. Used for performance-critical systems, blockchain, embedded, and WebAssembly. Learning Curve: Hard (ownership/borrowing paradigm, steep initial curve)