Readable, correct, performant
Express intent with explicitness and keywords over symbols and special structures.
Express concepts like meaning in integers. Use built-in design by contract with pre/post-conditions and invariants. Model problems with typechecks and range constraints.
Build with technology used in 40 years of reliability in planes, trains, and satellites.
Use the SPARK subset to formally verify part or all of your program, and integrate existing SPARK crates available in the Alire package manager.
Build native applications and take advantage of other libraries through binding to C and C++.
Use inline assembly or compiler intrinsics when you need it. Control resources with scope-based resource control (RAII) and your own memory allocators.