Jonathan M Davis:
Walter is the one that you have to convince, and I don't think that that's ever going to happen.
I understand. But maybe Walter too don't have that proof... I compile C code with all warnings, and the compiler tells me most cases of mixing signed with unsigned. I usually remove most of them.
I think the Go language doesn't have that implicit cast and Go programmers seem able to survive.
Bye, bearophile