Go to język programowania typu open source. Jest on typowany statycznie, z składnią luźno pochodną od C, dodając automatyczne zarządzanie pamięcią, bezpieczeństwo typu, niektóre możliwości dynamicznego pisania, dodatkowe wbudowane typy, takie jak tablice o zmiennej długości (zwane plasterkami) i mapy klucz-wartość oraz duża standardowa biblioteka.