golang is a blue collar programming language

yep yep yup it just gits er done, gnomesayin?

none of your complicated newfangled CS theories. nope. just muh brainlet JavaScript/C syntax with garbage collection because managing memory is too hard fuh me.

generics? why would I need that!! I'm a coder not a fancy pants programmer!

You forgot to mention dependent types.

It's called 'go', not 'golang'.

>>3
go in rl, golang on the 'net

every language needs as many abstractions as possible so I can prove my intellect by using it

I quite like abstractions.
Many times I solve the problem with perfect high-level abstractions in my mind and then translate that into primitive ones in the actual implementation.

I'm not sure what to think about go.
I'd like to try it for half a year and see if my beliefs about programming are sound, but I don't have time for that.

Maybe the cniles are right?
ML and Lisp are great but there is no good software in it.
Isn't our purpose to make good software?

>>1
There is a good chance that Go 2 will have generics
https://github.com/golang/go/wiki/Go2GenericsFeedback

Why use go when Coq exists?

>>8
suq my coq