[zemo]

> You have to keep track of whether you compared against nil yourself.

that's true in the case of comparing against nil, which I've already agreed with. I never said that Go is as safe as or safer than Haskell, I said that your assertion that there's "no way to branch and get type information" is a factual inaccuracy that misrepresents the language.

The fact that you haven't commented on type switches in any way shows that you're not really interested in anything other than your own sense of superiority.

Haskell is a better programming language. As a programmer of a programming language that is not Haskell, I am inferior to you.

There.

[Peaker]

It's not just comparing against nil, it's any comparison or switch-case besides a type-switch.

A type-switch seems to be non-boolean-blind indeed, but it seems to have too much syntactic overhead, as Go code generally uses if branches when a type-safe case is due (e.g: When analyzing return codes).