En realidad no existen dos formas de declarar un arreglo en `go`, solo hay una forma, y es la primera de las dos que en el ejemplo describe:

    var a [5]int

En go, la longitud del arreglo siempre debe hacer parte de su tipo, esto es debido a que esta estructura de datos en tiempo de ejecución nunca cambiará su tamaño, por lo tanto la sintaxis para declarar un arreglo es:

    var name [length]T

donde length debe ser una constante de tipo `int` no negativa y T es el tipo de dato que contendrá. Evidentemente, una vez creado el arreglo de 5 elementos de tipo `int`, inicializar uno de estos campos es sencillo, de la forma en la que usted lo realizó:

    a[0] = 1

Ahora, en la segunda forma que usted describe no está declarando un arreglo, porque falta la longitud, sino una estructura de datos llamada *slice*. Puede pensar en ella como una estructura que tiene un apuntador a un arreglo y una longitud. Una de varias formas de declarar el slice es como usted lo realiza en la forma dos:

    var b []int

En la instrucción anterior, está declarando un *slice* llamado `b` que apuntará a un arreglo de tipo `int`. Comparando con la sintaxis al declarar un arreglo, si no se especifica el valor de `length`, go asume que usted está creando un *slice*. Ahora, de acuerdo a su ejemplo, usted sólo declaró la variable `b` de tipo `int`, pero ahora debe inicializarla, de lo contrario el valor de esta variable será `nil` (un tipo de dato muy similar a `null` en lenguajes de programación convencionales). 

Para inicializar el valor de un *slice* una posible forma es hacer uso de la función `make()`. Esta recibe como parámetro el tipo de dato que desea construir, la longitud inicial de este y un parámetro opcional que indica el valor máximo al que puede ampliar la capacidad del *slice*, como se dará cuenta, esta estructura sí permite ampliar, o disminuir, de forma dinámica la longitud del arreglo. Por lo tanto, a su forma 2 le falta la instrucción:

    //Construyo un slice de longitud inicial 5 y longitud máxima 10.
    b = make([]int, 5, 10)

Y ahora sí, puede hacer asignarle valores al *slice*

    b[0] = 1

El error mostrado al ejecutar el código es algo oscuro, porque en realidad detrás de un *slice* siempre habrá un arreglo, ya sea que lo cree con la función `make()` o que lo construya a partir de un arreglo que ya haya creado (como el arreglo `a` en su código). En cualquier caso, de acuerdo a su forma 2, la longitud inicial del *slice* es nil, y al hacer referencia al objeto 0 de este slice, generará un `index out of range` y no un error similar a excepciones como `NullPointerException` en Java, porque en realidad `nil` sólo hace referencia al valor de variables que no se inicializan.