On: Hacking sum types with Go generics

[woah]

There's a huge gain in functionality: The compiler will tell you if you messed up

[rplnt → woah]

Go is very fast to lint. Having linter to check whether your switch statement is exhaustive is a good idea regardless.

[woah → rplnt]

That's irrelevant to the task at hand. The linter can't tell you if your type switch can handle every `interface{}` that might be passed into it some day.

[lawrjone → woah]

100%