Go（又称Golang）是Google开发的一种静态强类型、编译型、并髮型，并具有垃圾回收功能的程式语言。

罗伯特·格瑞史莫（Robert Griesemer），罗勃·派克（Rob Pike）及肯·汤普逊（Ken Thompson）于2007年9月开始设计Go，稍后Ian Lance Taylor、Russ Cox加入项目。Go是基于Inferno作业系统所开发的。Go于2009年11月正式宣布推出，成为开放原始码项目，并在Linux及Mac OS X平台上进行了实现，后来追加了Windows系统下的实现。在2016年，Go被软体评价公司TIOBE 选为“TIOBE 2016 年最佳语言”。 目前，Go每半年发布一个二级版本（即从a.x升级到a.y）。

Go的语法接近C语言，但对于变数的声明有所不同。Go支持垃圾回收功能。Go的并行模型是以东尼·霍尔的通信顺序进程（CSP）为基础，採取类似模型的其他语言包括Occam和Limbo，但它也具有Pi运算的特徵，比如通道传输。在1.8版本中开放外挂程式（Plugin）的支持，这意味着现在能从Go中动态载入部分函式。

与C++相比，Go并不包括如枚举、异常处理、继承、泛型、断言、虚函式等功能，但增加了 切片(Slice) 型、并发、管道、垃圾回收、接口（Interface）等特性的语言级支持。Go 2.0版本将支持泛型，对于断言的存在，则持负面态度，同时也为自己不提供类型继承来辩护。

不同于Java，Go内嵌了关联数组（也称为哈希表（Hashes）或字典（Dictionaries）），就像字元串类型一样。

在Go中有几项规定，而且这些是强制的，当不匹配以下规定时编译将会产生错误。

Go亦有内置gofmt工具，能够自动整理代码多余的空白、变数名称对齐、并将对齐空格转换成Tab。

当前有两个Go编译器分支，分别为官方编译器gc和gccgo。官方编译器在初期使用C写成，后用Go重写从而实现自举。Gccgo是一个使用标準GCC作为后端的Go编译器。

官方编译器支持跨平台编译（但不支持CGO），允许将原始码编译为可在目标系统、架构上执行的二进制档案。