Cinco características de diseño del lenguaje Go desde la perspectiva de la ingeniería de sistemas y de backend

Introducción

Los lenguajes de programación son herramientas para crear productos. Por sí mismo, el uso de un determinado lenguaje no define el nivel de un desarrollador. Sin embargo, la elección de un lenguaje y la forma en que se utiliza pueden influir directamente en la forma de pensar del desarrollador y en su dirección de crecimiento. En particular, salir del lenguaje que se utiliza actualmente y compararlo con otros lenguajes resulta de gran ayuda para ampliar la perspectiva técnica y desarrollar una sensibilidad hacia la esencia de las cosas. En este artículo quisiera explicar, dividido en cinco aspectos, por qué elegí Go y en qué sentido ayuda al crecimiento del desarrollador.

1. Go es un lenguaje que logra un equilibrio entre rendimiento y productividad.

Existen innumerables lenguajes de programación, y cada uno posee ventajas e inconvenientes según sus características.

• C ofrece un rendimiento excelente y control de bajo nivel, pero el desarrollador debe gestionar la memoria directamente y, al carecer de funcionalidades de alto nivel, su productividad es baja y su mantenimiento resulta difícil.
• C++ y Rust admiten diversas funcionalidades avanzadas, como la programación orientada a objetos, las plantillas y la metaprogramación, pero su sintaxis es compleja, su curva de aprendizaje es pronunciada y su lenta velocidad de compilación no resulta adecuada para despliegues frecuentes.
• Java y C# proporcionan independencia de plataforma y estabilidad, por lo que se utilizan ampliamente en servicios a gran escala; sin embargo, se ejecutan sobre máquinas virtuales pesadas, lo que complica el despliegue y el entorno de ejecución, además de exigir un alto consumo de recursos.
• Python y JavaScript son adecuados para el desarrollo rápido gracias a su sintaxis concisa y a su rico ecosistema, pero su rendimiento en ejecución es inferior y la fiabilidad de su ecosistema es baja, por lo que sus limitaciones estructurales se hacen evidentes en sistemas a gran escala.

En cambio, Golang es un lenguaje que alcanza un excelente equilibrio entre rendimiento y productividad. Go, al ser un lenguaje compilado como C, garantiza un alto rendimiento en ejecución y, gracias a su rápida velocidad de compilación, ofrece una flexibilidad de despliegue equiparable a la de los lenguajes interpretados. En otras palabras, Go es un lenguaje equilibrado que puede utilizarse de forma estable en la mayoría de los entornos, sin desventajas notables.

2. Go evita la programación de culto a la carga (cargo cult programming).

Durante la Segunda Guerra Mundial, las fuerzas aliadas construyeron bases aéreas en islas del Pacífico para apoyar la guerra. La gran cantidad de suministros y equipamiento militar que llegó transformó profundamente la vida de los militares y de los habitantes nativos. Los habitantes vieron por primera vez cómo los aviones traían ropa confeccionada, alimentos enlatados y otros productos. Cuando terminó la guerra, la base fue abandonada y la carga dejó de llegar. Por ello, los habitantes de la isla imitaron a los militares: se vistieron como controladores de tráfico aéreo, soldados y marineros, construyeron pistas de aterrizaje y utilizaron palos para enviar señales de aterrizaje a las aeronaves. Continuaron con marchas para que los cargamentos cayeran en paracaídas desde los aviones. Sin embargo, los aviones que esperaban nunca llegaron.

La programación de culto a la carga se refiere a los hábitos de desarrollo que imitan la apariencia de código o de una tecnología sin comprender sus principios. En el desarrollo actual, especialmente en el ámbito del desarrollo web, es frecuente encontrar este hábito de seguir patrones sin conocer su significado. Frameworks como React, Next, Spring y Django han hecho posible desarrollar sin conocer su estructura interna, pero con frecuencia no se sabe responder ante un error, por pequeño que sea. A esto se suma la aparición de herramientas de generación de código con IA, lo que ha extendido aún más una forma de desarrollar que consiste en copiar y pegar resultados en lugar de escribir el código directamente o comprender sus principios.

Go evita de raíz este problema desde su filosofía de diseño. Go es un lenguaje diseñado en torno a la biblioteca estándar y no en torno a los frameworks. Los desarrolladores pueden construir servidores web de nivel de servicio real únicamente con bibliotecas básicas como net/http y database/sql, y, de forma natural, desarrollan intuición y comprensión sobre estructuras de bajo nivel como la red, las bases de datos y la E/S. Una estructura que permite aprender los fundamentos con solidez, sin depender de frameworks, constituye la base para que el desarrollador crezca de forma continua sin perder la esencia de la tecnología.

3. Go ofrece un modelo de concurrencia poderoso.

Las CPU modernas evolucionan en la dirección de mejorar el rendimiento aprovechando múltiples núcleos en paralelo, en lugar de aumentar la velocidad de un único núcleo. En consecuencia, la concurrencia, que permite que un programa procese varias tareas simultáneamente, se ha vuelto indispensable, y la importancia de los lenguajes capaces de diseñarla e implementarla de manera eficiente no deja de crecer. Go es un lenguaje optimizado para este entorno. Una goroutine es un hilo ligero que proporciona Go; puede crearse con una pila de apenas unos KB y, aunque se ejecuten miles de ellas simultáneamente, apenas consumen recursos del sistema. El runtime de Go distribuye de manera eficiente numerosas goroutines entre los hilos del sistema operativo mediante su propio planificador M:N, y este proceso se optimiza automáticamente sin que el desarrollador tenga que intervenir. Gracias a ello, el desarrollador puede diseñar la lógica concurrente de forma segura y coherente, sin necesidad de lógica de sincronización compleja ni de planificación personalizada.

Además, Go brinda un sólido soporte para diseños de concurrencia modernos basados en herramientas de sincronización como mutex y waitGroup, así como en channel y context. Gracias a esta estructura, el desarrollador puede adquirir de forma natural un sentido práctico de la concurrencia y el paralelismo sin quedar atrapado en teorías complejas, y alcanzar, a partir de la nada, un nivel elevado de abstracción y capacidad de diseño aplicable.

4. Go es un lenguaje creado por excelentes desarrolladores que mantuvieron el rumbo.

Go es un lenguaje surgido bajo el liderazgo de Google y de los legendarios desarrolladores Robert Griesemer, Rob Pike y Ken Thompson. En particular, ellos son pioneros de Unix y del lenguaje C, así como maestros en compiladores y software de sistemas, lo que por sí mismo demuestra la confiabilidad técnica de Go. A ello se suma la experiencia práctica de numerosos ingenieros de Google y su know-how en la operación de servicios a gran escala, lo que ha permitido que Go, desde el principio, se oriente a la resolución de problemas reales y evolucione con una filosofía y una dirección coherentes.

Otros lenguajes suelen generar confusión en su comunidad y en sus usuarios debido a rupturas de compatibilidad, cambios de diseño, licencias inestables y ecosistemas no estandarizados. Por ejemplo, Python sufrió durante años la división de su ecosistema por la ruptura de compatibilidad entre las versiones 2 y 3; Java, tras la adquisición por parte de Oracle, experimentó una inestabilidad en sus políticas de licencia que llevó a un aumento de empresas reacias a adoptarlo; y Node.js, por su parte, sigue sin ofrecer un sistema de módulos coherente, ya que CJS y ESM coexisten.

En cambio, Go es un lenguaje que sitúa la coherencia y la estabilidad como valores prioritarios. El equipo de Go mantiene rigurosamente la compatibilidad con versiones anteriores y, al introducir nuevas funcionalidades, se adhiere a un enfoque de integración gradual que evita conflictos con el código existente. En cuanto a la sintaxis, evita las palabras clave innecesarias y limita la abstracción excesiva, impidiendo así que el propio lenguaje se vuelva innecesariamente complejo. Asimismo, un conjunto de herramientas oficiales coherente, como go fmt, go mod, go build y go test, induce a que todos los proyectos de Go compartan el mismo entorno de desarrollo y la misma estructura, y una biblioteca estándar sólida y práctica cubre de manera fiable la mayoría de las funciones necesarias en el desarrollo real, como servidores web, procesamiento de archivos e integración con bases de datos, sin necesidad de frameworks adicionales.

5. Los Gophers son adorables.