|
|
|
|
|
by ainar-g
2874 days ago
|
|
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. |
|