Though it's not the only benefit, I enjoy rust and fsharp's typesystems most when refactoring code. Fearless refactoring is the right expression here.
replies(1):
On the other hand, that strictness is precisely what leads people to end up with generally reasonable code.