If you're talking about nil, then yes, I would really like Go to never have it. But the other validations are more about contracts. Preconditions, to be precis

If you're talking about nil, then yes, I would really like Go to never have it. But the other validations are more about contracts. Preconditions, to be precise. Yes, I know that a sufficiently advanced type system (dependent types?) could encode those in the function signature, but I am not entirely sure if the technology is already there.