A systems language with mutable value semantics, compile-time memory safety, and simplicity in mind.