Very nice write up. I agree with most of the points, though I would say that having good unit-testing coverage is important and not just given up on - if you're smart about what you cover and how, and also design your code for testability (which usually follows good design practices anyway) then, in my experience, your bang-for-the-buck is pretty good. That being said, the goal of unit tests is not to cover things that could be done automatically by a compiler, otherwise you're trading manual work for something that could be automated quite easily. You're probably aware of this (I see this post is from 2013), but Rust seems to uphold all those rules, and in my recent dabbling with it I found it to be a very compelling language. In the off chance you haven't looked at it yet, I highly recommend it.
I know this post is from a while ago. Just curious how you feel about Scala.