Go é uma linguagem de propósito geral projetada com a programação de sistemas em mente. É fortemente tipada e tem suporte explícito para programação simultânea. Os programas são construídos a partir de pacotes, cujas propriedades permitem um gerenciamento eficiente das dependências.

A gramática é compacta e regular, permitindo fácil análise por ferramentas automáticas, como ambientes de desenvolvimento integrados.