Confident and productive systems programming
Strong safety guarantees
No segmentation faults
No data races
Expressive type system
Performance
No garbage collector
No runtime (compile time magic)
Confident and productive systems programming
Strong safety guarantees
No segmentation faults
No data races
Expressive type system
Performance
No garbage collector
No runtime (compile time magic)