A statically-typed language enforcing ownership-based memory safety with a static borrow checker, move/copy semantics, and predictable resource management.