Is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety