Confident and productive systems programming
Strong safety guarantees
No segmentation faults
No data races
Expressive type system
Performance
Confident and productive systems programming
Strong safety guarantees
No segmentation faults
No data races
Expressive type system
Performance