3 ms·

1. Find type-related bugs at compile time. 2. More readable code. 3. More maintainable code. 4. More efficient generated code.