Go (lenguaje de programación)

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

Go

Logo Go
Desarrollador(es)
Google
golang.org
Información general
Extensiones comunes .go
Paradigma compilado concurrente, imperativo, estructurado
Apareció en 2009
Diseñado por Robert Griesemer, Rob Pike y Ken Thompson
Última versión estable 1.2[1] (1 de diciembre de 2013; hace 4 meses (2013-12-01))
Tipo de dato fuerte, estático
Implementaciones gc (8g, 6g, 5g), gccgo
Influido por C, Modula-2, Pascal, Oberon, Limbo
Sistema operativo GNU/Linux, MacOS X, Windows, otros
Licencia BSD

Go es un lenguaje de programación concurrente y compilado inspirado en la sintaxis de C. Ha sido desarrollado por Google y sus diseñadores iniciales son Robert Griesemer, Rob Pike y Ken Thompson. Actualmente sólo está disponible para los sistemas operativos Windows, GNU/Linux y Mac OS X.[2] [3]

Nombre[editar]

El día de la publicación del lenguaje Go, Francis McCabe, desarrollador del lenguaje de programación Go! (anteriormente llamado Go), solicitó que se le cambiase el nombre al lenguaje de Google para evitar confusiones con su lenguaje.[4] McCabe creó Go! en el año 2003; sin embargo, aún no ha registrado el nombre.[5] Go es un nuevo lenguaje de programación para sistemas lanzado por Google en noviembre del 2009. Aunque empezó a ser desarrollado en septiembre del 2007 por Robert Griesemer, Rob Pike y Ken Thompson.

Go es un lenguaje de programación compilado, concurrente, imperativo, estructurado, orientado a objetos —de una manera bastante especial— y con recolector de basura que de momento está soportado en diferentes tipos de sistemas UNIX, incluidos Linux, FreeBSD y Mac OS X. También está disponible en Plan 9 puesto que parte del compilador está basado en un trabajo previo sobre el sistema operativo Inferno. Las arquitecturas soportadas son i386, amd64 y ARM[1]. Existe un port no oficial a Microsoft Windows pero es bastante inestable. Actualmente se está trabajando para llevarlo al sistema operativo de Microsoft.

Características[editar]

  • Go usa una sintaxis parecida a C por lo que los programadores que hayan usado dicho lenguaje se sienten muy cómodos con él.
  • Go usa tipado estático (statically typed) y es tan eficiente como C.
  • Go tiene muchas de las características y facilidad de lenguajes dinámicos como Python
  • Aún siendo un lenguaje diseñado para la programación de sistemas, provee de un recolector de basura, reflexión y otras capacidades de alto nivel que lo convierten en un lenguaje muy potente.
  • Go admite el paradigma de programación orientada a objetos, pero a diferencia de los lenguajes de programación más populares no dispone de herencia de tipos y tampoco de palabras clave que denoten claramente que soporta este paradigma. Otro detalle que puede resultar confuso es que la definición de un tipo ("clase") se realiza por medio de declaraciones separadas (interfaces, structs, embedded values). Go permite el uso de delegación (a través de embedded values) y polimorfismo (por medio de interfaces).

Go, al igual que C y C++, es un lenguaje compilado con algunas características peculiares.

Es un lenguaje concurrente que soporta canales de comunicación basados en el lenguaje CSP de Sir Charles Antony Richard Hoare, creador del algoritmo de ordenación QuickSort y ganador del Turing en 1980. La concurrencia en Go es diferente a los criterios de programación basados en bloqueos como pthreads.

Los lenguajes más utilizados como C++, Java o C# son más pesados y voluminosos. La sencillez es la característica principal de Go, su sintaxis es clara y concisa. Mientras que C es tristemente célebre por la complejidad de la sintaxis de sus declaraciones, Go utiliza inferencia implícita de tipos pudiéndose de esta manera evitar la declaración explícita de variables. La declaración de variables es simple y conveniente, y difiere de la de C.

Go admite la tipificación dinámica de datos también conocida como duck Typing presente en multitud de lenguajes dinámicos como por ejemplo JavaScript, Ruby o Python. Un struct puede implementar una interfaz de forma automática, lo cual es una característica potente y novedosa.

No son ni threads, ni co-rutinas ni procesos. La comunicación entre goroutines se realiza a través de una característica del lenguaje llamada canales —basada en CSP—, que es más segura y fácil de usar que los sistemas predominantes basados en bloqueos de pthreads o características modernas de Java

Excepciones[editar]

Go no tiene excepciones. Los creadores del lenguaje dan varios motivos para que esto sea así. Uno de ellos es que añadir una capa de excepciones añade una complejidad innecesaria al lenguaje y al entorno de ejecución. Por definición deberían de ser excepcionales pero al final se acaban usando como controladores del flujo de la aplicación y dejan de tener nada de excepcional. Según los creadores, las excepciones tienen que ser realmente excepcionales y el uso que se le da mayoritariamente no justifica su existencia.

Innovación[editar]

Durante muchos años, los desarrolladores han tenido que elegir entre lenguajes de programación de tipado estático compilados, por regla general, bastante complejos pero que proveen grandes características relacionadas con la optimización y el rendimiento y lenguajes de tipado dinámico interpretados con características de mucho más alto nivel que hacían su aprendizaje, uso y sintaxis más sencilla y por tanto divertido programar en ellos, eso si, sacrificando rendimiento y control.

Go mezcla lo mejor de ambos mundos y nos aporta una sintaxis sencilla, clara y divertida junto a la potencia que nos ofrece un lenguaje fuertemente tipado y compilado incorporando además características de alto nivel que facilitan el uso del lenguaje por los desarrolladores.

Diferencias principales con C[editar]

Aunque su sintaxis es similar, Go difiere mucho de C, veamos algunos ejemplos.

Declaraciones al revés[editar]

En Go las declaraciones se realizan al revés desde la perspectiva de C (o C++ o Java). La idea principal en C es que se declara una variable como una expresión que denota su tipo. Según los creadores, aunque la idea detrás de la declaración de tipos en C es buena, los tipos y las expresiones gramaticales no se mezclan demasiado bien y el resultado puede ser confuso. Go sin embargo, separa la expresión y la sintaxis de tipo lo cual simplifica las cosas (el prefijo * para los punteros es la excepción que confirma la regla). Una declaración típica en C sería:

int* i, j;

Declara que i es un puntero, pero no j. En Go:

var i, j *int

Se declaran las dos variables como punteros. Es más claro y natural.

Punto y coma[editar]

En Go el uso del caracter punto y coma “;“ al final de una instrucción es opcional...

Aritmética de punteros[editar]

Go no tiene aritmética de punteros, según los creadores, la razón es la seguridad. Sin aritmética de punteros es posible crear un lenguaje en el que no se puede obtener una dirección ilegal que sea usada de forma incorrecta. La falta de aritmética de punteros simplifica la implementación del recolector de basura. Además, optimizando el compilador y con el hardware actual, un bucle que utiliza los índices de un array puede ser tan eficaz como un bucle que utiliza aritmética de punteros.

++ y —[editar]

En Go, el uso de ++ y — para incrementar y reducir el valor de una variable es una sentencia y no una expresión. Además, solo puede utilizarse en su versión postfija pues según los autores, la versión prefija pierde todo su sentido en la ausencia de aritmética de punteros.

¿Es Go un lenguaje orientado a objetos?[editar]

Bueno, es una pregunta difícil de responder. La herencia no es un concepto esencial para la programación orientada a objetos, ni tampoco lo son las clases, sino que son más bien un medio de implementación. Existen desde hace tiempo lenguajes orientados a objetos que no admiten clases, sino que se basan en prototipos como Self. De acuerdo a Alan Kay, lo esencial del paradigma de programación orientada a objetos es el paso de mensajes.

Go tiene tipos y métodos y permite un estilo de programación orientado a objetos aunque no admite la construcción de jerarquías, es decir, no admite la herencia. En Go, el concepto de “interfaz“ es similar al de Java: cualquier objeto (value) que cumple el contrato especificado por una interfaz (sin necesidad de una declaración explícita) obtiene ese tipo. También existen formas de embeber tipos dentro de otros tipos para obtener algo análogo a las subclases. Los métodos de Go son más generales que los de C++ o Java, pueden ser definidos para cualquier tipo de datos no solo para los structs.

La ausencia de jerarquía de tipos en Go, hace que los “objetos“ den una sensación de ser más ligeros que en lenguajes como C++ o Java.

Ejemplos[editar]

El clásico programa Hola mundo en Go es similiar a como se haría en C++. Con este mítico ejemplo podemos apreciar que en cuanto a sintaxis son muy similares:

package main
 
import "fmt"
 
func main()
{
  fmt.Printf("Hola, mundo\n")
}

La notación de los comentarios es exactamente la misma que la de C++:

/* ... 
   ...
   ... */
 
// ...

Referencias[editar]

  1. http://golang.org/doc/devel/release.html
  2. Guía de instalación (inglés)
  3. Guía de instalación (español)
  4. Francis McCabe (10 de noviembre de 2009). «I have already used the name for *MY* programming language» (en inglés). Consultado el 13 de noviembre de 2009.
  5. Thomas Claburn (11 de noviembre de 2009). InformationWeek (ed.): «Google 'Go' Name Brings Accusations Of 'Evil'» (en inglés). Consultado el 13 de noviembre de 2009.

Enlaces externos[editar]