Go (programming language)
![]() | |
Paradigm | compiled, concurrent, imperative, structured |
---|---|
Designed by | Robert Griesemer Rob Pike Ken Thompson |
Developer | Google Inc. |
First appeared | 2009 |
Stable release | version 1.1.2[1]
/ 13 August 2013 |
Typing discipline | strong, static, inferred |
Implementation language | C, Go |
OS | Linux, Mac OS X, FreeBSD, NetBSD, OpenBSD, MS Windows, Plan 9[2] |
License | BSD-style[3] + Patent grant[4] |
Filename extensions | .go |
Website | golang |
Major implementations | |
gc (8g, 6g, 5g), gccgo | |
Influenced by | |
C, Limbo, Modula, Newsqueak, Oberon, Pascal,[5] Python |
Go, also called golang, is a programming language initially developed at Google[6] in 2007 by Robert Griesemer, Rob Pike, and Ken Thompson.[5] It is a statically-typed language with syntax loosely derived from that of C, adding automatic memory management, type safety, some dynamic-typing capabilities, additional built-in types such as variable-length arrays and key-value maps, and a large standard library. Beyond that broad category, Go is defined by:
- A syntax and environment adopting patterns more common in dynamic languages:[7]
- Concise variable declaration and initialization through type inference (
x := 0
notint x = 0;
) - Fast compilation times[8]
- Remote package management (
go get
)[9] and online package documentation[10]
- Concise variable declaration and initialization through type inference (
- Distinctive approaches to particular problems
- Built-in concurrency primitives: light-weight processes (goroutines), channels, and the
select
statement - An interface system in place of virtual inheritance
- Compilers that, by default, produce statically linked native binaries without external dependencies
- Built-in concurrency primitives: light-weight processes (goroutines), channels, and the
- A desire to keep the language specification simple enough to hold in a programmer's head,[11][12] in part by omitting features common to similar languages:
- No type inheritance
- No method or operator overloading
- No circular dependencies among packages
- No pointer arithmetic
- No assertions
- No generic programming
The language was announced in November 2009 and is now used in some of Google's production systems.[13] Go's "gc" compiler targets the Linux, Mac OS X, FreeBSD, OpenBSD, Plan 9, and Microsoft Windows operating systems and the i386, amd64, and ARM processor architectures.[14] A second compiler, gccgo, is a GCC frontend.[15][16]
Language design
Go is recognizably in the tradition of C, but makes many changes aimed at conciseness, simplicity, and safety. There are enough differences that it's only possible to cover a small subset in an overview; for further reading, try Go's language specification, the official language tour, and the Effective Go document, as well as the community-written gobyexample.com.
Syntax
Go's syntax includes changes from C aimed at keeping code concise and readable. The programmer needn't specify the types of expressions, allowing just i := 3
or w := "some words"
to replace C's int i = 3;
or char* s = "some words";
. Semicolons at the end of lines aren't required. Functions may return multiple, named values, and returning a result, err
pair is the standard way to handle errors in Go. Go adds literal syntaxes for initializing struct parameters by name, and for initializing maps and slices. As an alternative to C's three-statement for
loop, Go's range
expressions allow concise iteration over arrays, slices, strings, and maps.
Types
Go adds some types not present in C for safety and convenience. Slices (written []type
) point into an array of objects in memory, storing a pointer to the start of the slice, a length, and a capacity specifying when new memory needs to be allocated to expand the array. Slice contents are passed by reference, and their contents are always mutable. Go's immutable string
type can hold arbitrary bytes, but Go's range
expressions and some other facilities are designed to treat string contents as UTF-8. Two co-designers of Go, Pike and Thompson, designed UTF-8; it's also the sole encoding for Go source files. map[keytype]valtype
provides a hashtable.
Structurally, Go's type system has a few differences from C and most C derivatives. Unlike C typedef
s, Go's named type
s are not aliases for each other, and rules limit when different types can be assigned to each other without explicit conversion.[17] Unlike in C, conversions between number types are explicit; to ensure that doesn't create verbose conversion-heavy code, numeric constants in Go represent abstract, untyped numbers.[18] The nearest thing to C++'s basic, non-virtual inheritance is a system called type embedding in which one object can contain others and pick up their methods.
Go's channel types, which support concurrency, are discussed in the Concurrency section. Its interface types, which replace virtual inheritance, are discussed in Interface system section.
Package system
In Go's package system, each package has a path (e.g., "compress/bzip2"
or "code.google.com/p/go.net/html"
) and a name (e.g., bzip2
or html
). References to other packages' definitions must always be prefixed with the other package's name, and only the capitalized names from other modules are accessible: io.Reader
is public but bzip2.reader
is not.[19] The go get
command can retrieve packages stored in a remote repository such as Github or Google Code, and package paths often look like partial URLs for compatibility.[20]
Omissions
Go deliberately omits certain features common in other languages, including generic programming, assertions, pointer arithmetic, and inheritance.
After initially omitting exceptions, the language added the panic
/recover
rechanism, but it's only meant for rare circumstances.[21][22][23]
The Go authors express an openness to generic programming, explicitly argue against assertions and pointer arithmetic, while defending the choice to omit type inheritance as giving a more useful language, encouraging heavy use of interfaces instead.[5]
Conventions and language tools
Go has a standard style covering indentation, spacing, and many other details, usually applied to user code by the go fmt
tool in the Go distribution. Go requires that programs not contain unused variables or imports, omit return
s, or discard the results of evaluating certain built-in functions.[24] Banning unnecessary imports is particularly important because Go does not support circular dependencies.
Go also comes with godoc
, a tool that generates text or HTML documentation from comments in source code, go vet
, which analyzes code searching for common stylistic problems and mistakes. A profiler, gdb
debugging support, and a race condition tester are also in the distribution.
As with many languages, there is an ecosystem of tools that add to the standard distribution, such as gocode
, which enables code autocompletion in many text editors, goimports
(by a Go team member), which automatically adds/removes package imports as needed, errcheck
, which detects code that might unintentionally ignore errors, and more. Plugins exist to add language support in widely used text editors, and at least one IDE, LiteIDE, targets Go in particular.
Concurrency
Go provides facilities for writing concurrent programs that share state by communicating.[25][26][27] Concurrency refers not only to multithreading and CPU parallelism, which Go supports, but also to asynchrony: letting slow operations like a database or network read run while the program does other work, as is common in event-based servers.[28]
Goroutines, channels, and select
Go's concurrency-related syntax and types include:
- The
go
statement,go func()
, starts a function in a new light-weight process, or goroutine - Channel types,
chan type
, provide a type-safe, synchronized, optionally buffered channels between goroutines, and are useful mostly with two other facilities:- The send statement,
ch <- x
sendsx
overch
- The receive operator,
<- ch
receives a value fromch
- Both operations block until the other goroutine is ready to communicate
- The send statement,
- The
select
statement uses aswitch
-like syntax to wait for communication on any of a set of channels[29]
From these tools one can build concurrent constructs like worker pools, pipelines (in which, say, a file is decompressed and parsed as it downloads), background calls with timeout, "fan-out" parallel calls to a set of services, and others.[30] Channels have also found uses further from the usual notion of interprocess communication, like serving as a concurrency-safe list of recycled buffers,[31] implementing coroutines (which helped inspire the name goroutine),[32] and implementing iterators.[33]
While communicating-processes model is the favored one in Go, it isn't the only one: memory can be shared across goroutines (see below), and the standard sync
module provides locks and other primitives.[34]
Safety
There are no restrictions on how goroutines access shared data, making race conditions possible. Specifically, unless a program explicitly synchronizes via channels or mutexes, writes from one goroutine might be partly, entirely, or not at all visible to another, often with no guarantees about ordering of writes.[35] Furthermore, Go's internal data structures like interface values, slice headers, and string headers are not immune to race conditions, so type and memory safety can be violated in multithreaded programs that modify shared instances of those types without synchronization.[36][37]
Idiomatic Go minimizes sharing of data (and thus potential race conditions) by communicating over channels, and a race-condition tester is included in the standard distribution to help catch unsafe behavior. Still, it is important to realize that while Go provides building blocks that can be used to write correct, comprehensible concurrent code, arbitrary code isn't guaranteed to be safe.
Some concurrency-related structural conventions of Go (channels and alternative channel inputs) are derived from Tony Hoare's communicating sequential processes model. Unlike previous concurrent programming languages such as occam or Limbo (a language on which Go co-designer Rob Pike worked[38]), Go does not provide any built-in notion of safe or verifiable concurrency.[35]
Interface system
In place of virtual inheritance, Go uses interfaces. An interface declaration is nothing but a list of required methods: for example, implementing io.Reader
requires a Read
method that takes a []byte
and returns a count of bytes read and any error.[39] Code calling Read
needn't know whether it's reading from an HTTP connection, a file, an in-memory buffer, or any other source.
Go's standard library defines interfaces for a number of concepts: input sources and output sinks, sortable collections, objects printable as strings, cryptographic hashes, and so on.
Besides calling methods via interfaces, Go allows converting interface values to other types with a run-time type check. The language constructs to do so are the type assertion,[40] which checks against a single potential type, and the type switch,[41] which checks against multiple types.
Go types don't declare which interfaces they implement: having the required methods is implementing the interface.
interface{}
, the empty interface, is an important corner case because it can refer to an item of any concrete type, including primitive types like string
. Code using the empty interface can't simply call methods (or built-in operators) on the referred-to object, but it can store the interface{}
value, try to convert it to a more useful type via a type assertion or type switch, or inspect it with Go's reflect
package.[42] Because interface{}
can refer to any value, it's a limited way to escape the restrictions of static typing, like void*
in C but with additional run-time type checks.
Go does not have interface inheritance, but one interface type can embed another; then the embedding interface requires all of the methods required by the embedded interface.[43]
The example below uses the io.Reader
and io.Writer
interfaces to test Go's implementation of SHA-256 on a standard test input, 1,000,000 repeats of the character "a". RepeatByte
implements an io.Reader
yielding an infinite stream of repeats of a byte, similar to Unix /dev/zero
. The main()
function uses RepeatByte
to stream a million repeats of "a" into the hash function, then prints the result, which matches the expected value published online.[44] Even though both reader and writer interfaces are needed to make this work, the code needn't mention either; the compiler infers what types implement what interfaces:
package main
import (
"fmt"
"io"
"crypto/sha256"
)
type RepeatByte byte
func (r RepeatByte) Read(p []byte) (n int, err error) {
for i := range p {
p[i] = byte(r)
}
return len(p), nil
}
func main() {
testStream := RepeatByte('a')
hasher := sha256.New()
io.CopyN(hasher, testStream, 1000000)
fmt.Printf("%x", hasher.Sum(nil))
}
(Run or edit this example online in here.)
Also type RepeatByte
is defined as a byte
, not a struct
. Named types in Go needn't be struct
s, and any named type can have methods defined, satisfy interfaces, and act, for practical purposes, as objects; the standard library, for example, stores IP addresses in byte slices.[45]
Interface values are stored in memory as a pointer to data and a second pointer to run-time type information.[46] Like other pointers in Go, interface values are nil
if uninitialized.[47] Unlike in environments like Java's virtual machine, there is no object header; the run-time type information is only attached to interface values. So, the system imposes no per-object memory overhead for objects not accessed via interface, similar to C struct
s or C# ValueType
s.
Examples
Hello world
Here is a Hello world program in Go:
package main
import "fmt"
func main() {
fmt.Println("Hello, World")
}
(Run or edit this example online.)
Echo
This imitates the Unix echo command in Go:[48]
package main
import (
"flag"
"fmt"
"strings"
)
func main() {
var omitNewline bool
flag.BoolVar(&omitNewline, "n", false, "don't print final newline")
flag.Parse() // Scans the arg list and sets up flags.
str := strings.Join(flag.Args(), " ")
if omitNewline {
fmt.Print(str)
} else {
fmt.Println(str)
}
}
Projects and organizations using Go
Some notable applications in Go include:
- Open-source applications
- vitess, a sharding MySQL proxy used by YouTube
- Docker, a set of tools for deploying Linux containers
- Packer, a tool for packaging virtual machine images for multiple platforms
- goread.io, an RSS reader
- Flynn, a PaaS powered by Docker
- Juju, a service orchestration tool by Canonical, packagers of Ubuntu Linux
- nsq, a message queue by bit.ly
- Doozer, a lock service by managed hosting provider Heroku
- Sky, a database designed for behavioral data such as clickstreams
- heka, a stream-processing tool by Mozilla
- Cloud Foundry, a PaaS with various components implemented in Go
- Open-source libraries
- Web toolkits, including the Gorilla Web Toolkit, Revel, and goweb
- Database, stream, and caching tools, including groupcache and kv and ql
- Parsers for common formats, such as HTML, JSON, and Google Protocol Buffers
- Protocol implementations, such as ssh, SPDY, and websocket
- Bindings to and ports of existing widely-used libraries, such as sqlite3, mysql, and redis
- Like many modern environments', Go's standard library is extensive: for example, it touches on I/O, network clients and servers, decompression and compression, cryptography, sorting, math, text and string manipulation, parsing and writing common formats, runtime and OS access, and other things.
- For an index of many more open-source libraries (and some applications) in Go, see godoc.org or the Go Wiki's project page.
- Proprietary applications
- dl.google.com, Google's server for large binary downloads like Chrome and Google Earth[49]
- CloudFlare infrastructure, including their delta-coding proxy Railgun, their distributed DNS service, cryptography tools, logging, stream processing, and accessing SPDY sites.[50][51]
Other notable users and uses of Go include:[52][53]
- The BBC, in some games and internal projects
- Novartis, for an internal inventory system
- SoundCloud, for "dozens of systems"[54]
- Google, for other projects not listed above[55][56]
- ngrok, a tool for remote access to Web development environments
- Poptip, a social analytics company
- Splice, a music collaboration service
Some organizations use Go for individual projects where concurrency or dependency-free deployment are particular concerns, while writing other projects in different languages.
Reception
Go's initial release led to much discussion.
Michele Simionato wrote in an article for artima.com:[57]
Here I just wanted to point out the design choices about interfaces and inheritance. Such ideas are not new and it is a shame that no popular language has followed such particular route in the design space. I hope Go will become popular; if not, I hope such ideas will finally enter in a popular language, we are already 10 or 20 years too late :-(
Dave Astels at Engine Yard wrote:[58]
Go is extremely easy to dive into. There are a minimal number of fundamental language concepts and the syntax is clean and designed to be clear and unambiguous. Go is still experimental and still a little rough around the edges.
Ars Technica interviewed Rob Pike, one of the authors of Go, and asked why a new language was needed. He replied that:[59]
It wasn't enough to just add features to existing programming languages, because sometimes you can get more in the long run by taking things away. They wanted to start from scratch and rethink everything. ... [But they did not want] to deviate too much from what developers already knew because they wanted to avoid alienating Go's target audience.
Go was named Programming Language of the Year by the TIOBE Programming Community Index in its first year, 2009, for having a larger 12-month increase in popularity (in only 2 months, after its introduction in November) than any other language that year, and reached 13th place by January 2010,[60] surpassing established languages like Pascal. As of March 2013[update], it ranked 24th in the index.[61] Go is already in commercial use by several large organizations.[62]
Bruce Eckel stated:[63]
The complexity of C++ (even more complexity has been added in the new C++), and the resulting impact on productivity, is no longer justified. All the hoops that the C++ programmer had to jump through in order to use a C-compatible language make no sense anymore -- they're just a waste of time and effort. Now, Go makes much more sense for the class of problems that C++ was originally intended to solve.
Mascot
Go's mascot is a gopher designed by Renée French, who also designed Glenda, the Plan 9 Bunny. The logo and mascot are licensed under Creative Commons Attribution 3.0 license.[64]
Naming dispute
On the day of the general release of the language, Francis McCabe, developer of the Go! programming language (note the exclamation point), requested a name change of Google's language to prevent confusion with his language.[65] The issue was closed by a Google developer on 12 October 2010 with the custom status "Unfortunate" and with the following comment: "there are many computing products and services named Go. In the 11 months since our release, there has been minimal confusion of the two languages."[66]
See also
References
- ^ Google+ The Go Programming Language
- ^ "Go Porting Efforts". Go Language Resources. cat-v. 12 January 2010. Retrieved 18 January 2010.
- ^ "Text file LICENSE". The Go Programming Language. Google. Retrieved 5 October 2012.
- ^ "Additional IP Rights Grant". The Go Programming Language. Google. Retrieved 5 October 2012.
- ^ a b c "Language Design FAQ". golang.org. 16 January 2010. Retrieved 27 February 2010.
- ^ Kincaid, Jason (10 November 2009). "Google's Go: A New Programming Language That's Python Meets C++". TechCrunch. Retrieved 18 January 2010.
- ^ Pike, Rob. "The Go Programming Language". YouTube. Retrieved 1 July 2011.
- ^ Rob Pike (10 November 2009). The Go Programming Language (flv) (Tech talk). Google. Event occurs at 8:53.
- ^ Download and install packages and dependencies - go - The Go Programming Language; see godoc.org for addresses and documentation of some packages
- ^ godoc.org and, for the standard library, golang.org/pkg
- ^ Rob Pike, on The Changelog podcast
- ^ Rob Pike, Less is exponentially more
- ^ "Go FAQ: Is Google using Go internally?". Retrieved 9 March 2013.
- ^ "Installing Go". golang.org. The Go Authors. 11 June 2010. Retrieved 11 June 2010.
- ^ "FAQ: Implementation". golang.org. 16 January 2010. Retrieved 18 January 2010.
- ^ "Installing GCC: Configuration". Retrieved 3 December 2011.
Ada, Go and Objective-C++ are not default languages
- ^ Assignability - the Go Language Specification
- ^ Constants - the Go Language Specification
- ^ "A Tutorial for the Go Programming Language". The Go Programming Language. Google. Retrieved 10 March 2013.
In Go the rule about visibility of information is simple: if a name (of a top-level type, function, method, constant or variable, or of a structure field or method) is capitalized, users of the package may see it. Otherwise, the name and hence the thing being named is visible only inside the package in which it is declared.
- ^ Download and install packages and dependencies - go - The Go Programming Language
- ^ Panic And Recover, Go wiki
- ^ Release notes, 30 March 2010
- ^ "Proposal for an exception-like mechanism". golang-nuts. 25 March 2010. Retrieved 25 March 2010.
- ^ Expression statements - The Go Programming Language Specification
- ^ Share by communicating - Effective Go
- ^ Andrew Gerrand, Share memory by communicating
- ^ Andrew Gerrand, Codewalk: Share memory by communicating
- ^ For more discussion, see Rob Pike, Concurrency is not Parallelism
- ^ The Go Programming Language Specification. This deliberately glosses over some details in the spec:
close
, channel range expressions, the two-argument form of the receive operator, unidrectional channel types, and so on. - ^ Concurrency patterns in Go
- ^ John Graham-Cumming, Recycling Memory Buffers in Go
- ^ tree.go
- ^ Ewen Cheslack-Postava, Iterators in Go
- ^ sync - The Go Programming Language
- ^ a b "The Go Memory Model". Google. Retrieved 5 January 2011.
- ^ Russ Cox, Off to the Races
- ^ "Go at Google: Language Design in the Service of Software Engineering". Google, Inc. "There is one important caveat: Go is not purely memory safe in the presence of concurrency."
- ^ Brian W. Kernighan, A Descent Into Limbo
- ^ Reader - io - The Go Programming Language
- ^ Type Assertions - The Go Language Specification
- ^ Type switches - The Go Language Specification
- ^ reflect.ValueOf(i interface{}) converts an
interface{}
to areflect.Value
that can be further inspected - ^ "Effective Go - Interfaces and methods & Embedding". Google. Retrieved 28 November 2011.
- ^ SHA-256 test vectors, set 1, vector #8
- ^ src/pkg/net/ip.go
- ^ "Go Data Structures: Interfaces". Retrieved 15 November 2012.
- ^ Interface types - The Go Programming Language Specification
- ^ "A Tutorial for the Go Programming Language". golang.org. 16 January 2010. Retrieved 18 January 2010.
- ^ dl.gogle.com: Powered by Go
- ^ John Graham-Cumming, Go at CloudFlare
- ^ John Graham-Cumming, What we've been doing with Go
- ^ Erik Unger, The Case For Go
- ^ Andrew Gerrand, Four years of Go, The Go Blog
- ^ Peter Bourgon, Go at SoundCloud
- ^ Matt Walsh, [matt-welsh.blogspot.com/2013/08/rewriting-large-production-system-in-go.html Rewriting a Large Production System in Go]
- ^ David Symonds, High Performance Apps on Google App Engine
- ^ Simionato, Michele (15 November 2009). "Interfaces vs Inheritance (or, watch out for Go!)". artima. Retrieved 15 November 2009.
- ^ Astels, Dave (9 November 2009). "Ready, Set, Go!". engineyard. Retrieved 9 November 2009.
- ^ Paul, Ryan (10 November 2009). "Go: new open source programming language from Google". Ars Technica. Retrieved 13 November 2009.
- ^ "Google's Go Wins Programming Language Of The Year Award". jaxenter. Retrieved 5 December 2012.
{{cite web}}
:|first=
missing|last=
(help) - ^ "TIOBE Programming Community Index for August 2013". TIOBE Software. August 2013. Retrieved 16 August 2013.
- ^ "Organizations Using Go".
- ^ Bruce Eckel (27). "Calling Go from Python via JSON-RPC". Retrieved 29 August 2011.
{{cite web}}
: Check date values in:|date=
and|year=
/|date=
mismatch (help); Unknown parameter|month=
ignored (help) - ^ "FAQ - The Go Programming Language". Golang.org. Retrieved 25 June 2013.
- ^ Claburn, Thomas (11 November 2009). "Google 'Go' Name Brings Accusations Of Evil'". InformationWeek. Retrieved 18 January 2010.
- ^ "Issue 9 - go - I have already used the name for *MY* programming language". Google Code. Google Inc. Retrieved 12 October 2010.
External links
- Official website
- A Tour of Go (official)
- Go Programming Language Resources (unofficial)
- Pike, Rob (28 April 2010). "Another Go at Language Design". Stanford EE Computer Systems Colloquium. Stanford University. (video) — A university lecture