General-purpose programming language built with a modern approach to safety, performance, and software design patterns. Features include type safety, memory safety, and high performance.