I think we will come a far as we've done in memory safety with "logic safety", making programs that can't misbehave.