I hear you, but most of those benefits are reaped from not just strong, but more importantly static typing alone, which you could gain from simply using C# or J

I hear you, but most of those benefits are reaped from not just strong, but more importantly static typing alone, which you could gain from simply using C# or Java without the need to commit to the complexity of borrow checking, which only really buys you safety in a few additional cases, but arguably costs you big in development effort, much more so than static typing.