An Introduction to Go
4th Jan 2021 by Aneesh Mistry

Key Takeaways
• Understand the drivers for the invention of Go programming language.
• Review the popular use-cases for choosing Go in a project.
• Review the syntax and configuration for Go to begin building applications.

Introduction

Go (often referred to as 'Golang') was created by 3 engineers who worked together at Google during 2009: Ken Thompson, Rob Pike and Robert Griesemer. Go has since been developed into an open source programming language that is used upon many major platforms including Docker, Kubernetes and Terraform. But why is Go used in these cases?

Go came about as a programming language to tackle some of the persistent issues of slow compilation and slow application builds faced by the developers of large, distributed servers at Google. As a result, Go was designed to be the only programming language to serve all 3 sought-after capabilities:
• Efficient compilation.
• Efficient execution.
• Ease of programming.

Languages such as Java and C++ provide efficient compilation and execution, languages such as JavaScript and Python are able to provide ease of programming with efficient compilation, however before Go, there had not been a language to offer the tri-standard.

Golang motivation

Go is a statically typed, compiled and lightweight programming language. Go achieves rapid compilation as well as other extensive behaviours to provide developer support with a shallow learning curve, backward compatibility and built-in support for features such as web services and testing.
The extended features of Go can be categorised into 4 key areas:
• Simplicity of implementation.
• Concurrency support.
• Out-of-the-box experience.
• Cross-system performance.


Simplicity of implementation

Go is able to pair rich features with an elegant approach to language design. The framework for testing and profiling Go is provided for multiple types of testing by default. Unit tests can be written in parallel with the code; Go also provides in-built tools to understand test coverage and code documentation.

Go is a multi-paradigm programming language using OOP and procedural code. Go supports the use of types and methods similar to OOP, however it does not use a class hierarchy. Go uses imperative features such as statements and loops to change the state of an Object as well as concurrency for multi-core processing.

The simplicity of Go syntax and minimal nature of its keywords means generics are not supported beyond the built-in data structures of slices and maps. If Go were to add support for custom generics, it will counter the simplicity and clarity objectives while driving up the compile time.

The Go language updates are designed to provide further support for applications that are written in prior versions of the language through backward compatibility. The support for backward compatibility provides confidence to the developers to upgrade with the latest features of Go without risking the functionality of their applications. Other than the exception for security patches and bug-fixes, Go will continue to be completely backward-compatible.


Concurrency

Go was developed during a modern period of computer hardware where the presence of multiple cores to a system were standard by design. Go places the management of multiple cores within its design where other languages may fault around the challenges of maintaining database connections and managing caches. Go achieves its capacity for concurrency through the use of goroutines, a lightweight alternative to individual threads that consequently support a huge scaling capacity of a Go application.

Go features its own network awareness where threads can be executed in a thread-safe manner. Goroutines are able to safely communicate with each other through channels using the Go schedular to assign threads to tasks. Go uses channels to act as a conduit for goroutines to communicate with each other. Channels prevent the potential for race conditions when multiple goroutines access shared memory. Creating a goroutine can be implemented by adding the keyword go before calling a method (line 8 below):

func concatenate(string a, string b) (string){
    return a + b
}

func main(){
    concatenate("hello", "world")

    go concatenate("hello world", "goroutine")
}

In the below example, the <- syntax is used to assign and use a value that is passed to a channel:

    names := make(chan string)

    go func() {
        name <- "John Adams"
    }()

    name :=  <-names

   fmt.Printf("The name we got is: %s", name)

The in-built features for handling multi-thread communication and the go keyword for the creation of goroutines make concurrency easily accessible to the developer. The creation of goroutines has also made concurrency more widely possible without the usual limitation of threads as experienced with Java.


Out of the box experience

Unlike other programming languages, Go does not require extensive libraries and applications to be pulled in to perform the most basic of application designs and uses. The standard library may not be as extensive as other languages, however it focusses on a few core features. Go has been supported by third parties who have built standard libraries to provide support for core components including:
• String manipulation within the application.
• Data exportation to create external archives.
• Web APIs for creating and consuming web services such as the 'net/http' package.
• File handling and operations.
• Testing APIs, a comprehensive in-built test suite.

The Go CLI provides the developer with ample support across the creation of application builds, artifacts and documentation for their source code. From the command line, the developer can execute the following commands to utilise the complete CLI support from Go:

go build to compile and package a Go application with its dependencies. The resulting executable is named after the first source file.
go generate to generate Go files by processing source.
go get to add dependencies to the current module and to install them.
go test to automate the testing of packages and to print the result to the command line.
go doc prints the package documentation.

The application profile also performs analysis upon the application consumption of CPU, network, goroutines and requirements.


Cross-system performance

Go contains its own runtime library and is deployed as a single executable binary file. Go eliminates the potential for version or dependency mis-match. The performance advantage of Go is realised from the executable binary file that does not rely on a virtual machine to abstract its execution. Without the VM, Go does not have a write-once-run-everywhere ability like the JVM, however Go builds can be adapted for different operating systems from a single parameter instruction within the build:
For Windows

GOOS=windows go build main.go

For MAC OS

GOOS=darwin go build main.go

The architecture for the platform can also be defined with the GOARCH property.

The benefits of Go as a compiled language can be realised from enhanced execution time where the operating system does not need to interpret the code at runtime. This advantage is also realised from other languages such as C++ over Java where Java uses an interpreter as well as the compiler used by C++.

A final element of Go's multi-dimensional features are its garbage collection feature for heap memory management. This example demonstrates how Go combines the benefits of garbage collection from Java with the compile performance of C++ and an enhanced ease for programming.


Use cases for Go

As previously mentioned, Go provides a unison between some of the most popular languages, taking their best features and combining them into a lightweight language. The features of Go may make it seem appealing for all use-cases, however its standard library may limit its potential. Despite this, there are a few use-cases that really do emphasise the benefits to choosing Go as the language for development to tackle the challenges of compilation, concurrency and simplicity that it addresses.

The primary use cases for Go extend to web services, stand-alone tools and DevOps which lend themselves to the support, scaling and performance attributes of Go.

Distributed services
Distributed services require a vast capacity for concurrency to support communication and data transfer. Go supports distributed services and networks through goroutines and channels. The message delivery and network awareness features of Go and its 'http' package provide extensive support for distributed systems. As a result, Go is a popular language for the creation of APIs and web servers. As a cross-platform language with extensive network features, Go is also popular amongst cloud-native applications.

Stand-alone tools
The single binary output of a Go application make them highly suitable as a utility program. The Go application can quickly launch and perform a service to make them optimal for single-service applications.

DevOps and SRE
Go's 'build once and promote everywhere' principle makes it a valuable language when used for building CICD pipelines and enhancing web scalability and durability. Go-based API builds can also be used for communicating with middleware to take advantage of the networking capability of Go and making them powerful within a CICD process.


Building with Go

The following section of the blog will look at how we can develop a Go project on our machines and the appropriate configuration required. To get started, download Go from https://golang.org.


Configuring a Go project

Before we create a new Go Project, we must navigate to the Go src workspace from where packages and classes are defined. First navigate to the Go directory on your machine. You will find 3 sub directories: pkg, src, and bin. The src folder may not already exist and must therefore be created.

Go workspaces (folders) can be created within the src folder for each project. While it is possible to create a Go workspace at any other directory in your machine, we will later review the benefits of using the Go src workspace directory as we understand how utility packages and class references are made with Go.


Utility packages in Go

Utility packages in Go are similar to creating classes in Java that are later referenced or used as a service by another class. In Go, we can achieve a similar behaviour of different classes that can be referenced from different workspaces.

Packages can contain types, variables and functions that we want to use from other Go packages. Utility packages in Go allow us to separate responsibilities of classes and to create layers to the application. You could think of the layers being similar to a repository-service-controller layer for a web service. Before we can use a utility package, we must first create the class in the Go workspace and install it into the 'pkg' folder of Go using the CLI. The below example demonstrates how a main.go file can access the car.go class as a service:

package main

import "demo/car"

func main(){

    car.MakeSound()
}
package car

import "fmt"

func MakeSound(){
    fmt.Print("vroom")
}

The current main class will show a compile error:

failed to import utility package "demo/car"

We can resolve this problem by installing the car package into the 'pkg' directory on the Go path. The below command will change into the car directory, then install the car package into the 'pkg' folder where it can be referenced.

cd car
go install

The compile error on the main class will no longer appear, and a new folder 'demo/car' will appear within the pkg folder with a car.a file. The package can then be used as a service for other Go applications.


Go syntax

Go is designed with ease of programming as an objective. Amongst the garbage collector for memory management, Go achieves ease through omission of generics, use of types and the use of complete units to express a statement.

I have found learning the Go syntax easiest when using a reference point of Java. The reflection in Java will then allow me to understand and explain the difference in syntax design. The Go syntax was built with a mantra of 'do more with less' to enable an expansive number of actions with a lightweight design. From my initial understanding of Go, I have found the most evident key differences:
• Method names start capitalised (inherited from C#)
• Functions are defined with func(). The function return type comes after the name.
• Go does not handle explicit exceptions, only error values which are returned from a method call.
• Object instances are passed by reference using an ampersand and asterisk syntax.

Creating functions
Functions in Go are marked with the keyword 'func' at the start followed by a name, expected parameters and return type. Unlike Java, Go functions can return more than 1 value, in-fact it is very common for Go methods to return an error as well as a returned value. This is similar to throwing an exception in Java.

An example of a simple function in Go can appear below:

func concatenate(string a, string b) (string){
    return a + b
}

The equivalent in Java would be:

public String concatenate(String a, String b){
    return a + b;
}

Some methods will return an error and a response thus causing two outcomes to be handled by the code. In Java, this is similar to having a try-catch block for a method call, instead with Go, we will express the return as two arguments. The below example demonstrates the Marshal method which will return JSON for a person along with an error from the method call:

json, err := json.Marshal(person)
if err != nil{
    w.WriteHeader(http.StatusInternalServerError)
    return
}

Lines 2 to 5 in the above Go code snippet is a common pattern for handling errors. The error err is checked to be nil before returning a http response (or otherwise returning an error message). The Go function is the equivalent to a try-catch block as below:

try{
    convertToJson(person);
}
catch(Exception e){
    System.out.println(e.getMessage())
}

Naming conventions
Go uses camelCase naming convention for identifiers. The first letter will also determine the visibility of the Object to other packages and classes.
The name provided to Objects, such as 'person', 'Animal' etc, are accessible within and outside their package depending on its naming convention. A capital letter at the start of the name (Animal) will allow the class to be accessed outside of its package. Otherwise a lowercase letter (person) will not be accessible outside its package.

Passing values
Go uses pass-by-value within the source code. This means when a parameter is passed between functions, it will always create a copy of the value and pass it onwards. Go however defines two different types of parameters to be passed: the value or a reference. As Java uses pass by value, where a copy of the Object reference is passed between the methods, the address of the Object is accessed by the calling method:

Person alice = new Person("Alice");
changeName(alice, "Bob");
System.out.println(alice.getName());

prints:

Bob

The reference of alice is passed into the changeName method that updates the name to "Bob" of the Object instance.

In Go, trying to achieve the same objective would not update the instance itself:

func main(){
    person := Person{"Alice"}
    changeName(person)
    fmt.Println(person)
}
func changeName(p Person){
    p.name = "Bob"
}

returns:

Alice

Instead, to pass the actual reference of the instance to the changeName method, we need to use an ampersand (&) to send the reference of the instance, and an asterisk (*) to receive an address of the instance:

func main(){
    person := Person{"Alice"}
    changeName(&person)
    fmt.Println(person)
}
func changeName(p *Person){
    p.name = "Bob"
}

returns:

Bob

The syntax behind the ampersand and asterisk is useful to remember for addressing instances within the application.


Summary

Go is a young programming language that has been developed out of a drive to improve compile time and the ease of programming alongside the enhanced execution time offered by a compiled language. The lightweight design of Go along with its enhanced support for concurrency have made it a bespoke language for various use cases including networking and DevOps. In this blog I have looked at how Go came about, its key use-cases and the key syntax design of the language.

The most valuable features of Go exist from its lightweight design and niche use cases. The Go standard library is designed to offer comprehensive support to networking and concurrency that can make building modern and rapid-fast application performance much easier and simple out-of-the-box. This is an important consideration to make before considering Go for a project and the growth of a project with time.

In my next blog, I will use Go to create a RESTful API service to crete and return JSON data to other services.


Share this post