Gotards in 2011: nooooo generics are the devil

Gotards in 2020: generics are still the devil, but at least we are not retarded.

https://blog.golang.org/generics-next-step

Go is remarkably not shit.

There's no excuse for having long compile times.
There's no excuse for not having cross compiling.

>>2
Yeah, fast compilation is good, cross compilation is good. 2 points for Go there.

But a lot of it is shit. The designers punted on basically everything that seemed too hard or might've added expressivity. So the language is full of un-composeable features and weird dead ends that make no sense.

Cool: a function can return

(string, err)

. so that must mean Go has some notion of tuples, right? And I can use multi-valued expressions in other contexts? Haha, no.

This

for i, v := range {}

loop seems nice, how do I get my data structure to implement that? Can't. Okay.

Sometimes Go gets close to the right answer, but then goes out of its way to fuck it up. Errors are return values? Fine. Now how do I avoid this retarded

if err != nil

boilerplate everywhere? Can't. Okay… how do I ensure that errors aren't ignored by mistake? Can I use an option type and force callers to handle every case? Nope: the type system is just too nerfed and broken.

Don't even get me started on the cargo cult that guys like Rob Pike have inspired. It never ceases to amaze me how much of the Go community will get on board with whatever vague handwaving sophistry issues from his Canadian gob. It's like he's running a massive psychological experiment in cognitive dissonance:

• "Exceptions are bad, exceptions are bad…" but then Go has

  panic

  /

  recover

  which is like… the same fucking thing
• "Errors are values, errors are values…" yet it's endemic in Go to return useless errors that encode no information at all. Like

  error.Errorf("File not found: %s", path)

  forcing clients to parse a string instead of returning a proper struct.

Go has spawned a community of troglodytes who would rather cling to C's dusty corpse than engage with the last 4 decades of language research.

GO IS PIG

>>3
I don't use Go but I'd give up expressivity for compilation time and reduced retardation in a heartbeat. At this point I'm half programmer half IT spending my time fixing the build pipeline or dependencies or code generation or runtimes or deployment.

Expressiveness and retardation correlate hard.

4 decades of language research

Irrelevant. There's no useful concept that wasn't discovered and implemented 2 decades ago.

C's dusty corpse

C is alive and well. The mouse and keyboard you're using is C. So is your car and fridge and os. The internet isn't real life, just a lens.

>>4
HoTT wasn't discovered and implemented 2 decades ago

>>5
This seems possibly sort of useful in the very distant future, if life never ends.

For now this is harmful. Our problem now is that software doesn't yet exist. We need to make software. When we've made all the software we've to make this could be useful to improve it. Until then this slows down development.

If the universe stops expanding there's a possibility that we can write all software which has to be written but we don't know if it'll stop expanding.