Haskell's IO monad isn't a hack, it's a necessary evil, but Rust's borrow checker is the real hero of programming languages - it's the only thing that's actually solved mutable state without sacrificing performance or sanity.