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!

Why use go when Coq exists?