Go 1.27 está a punto de llegar y trae consigo una de las actualizaciones más esperadas por la comunidad: la posibilidad de declarar métodos genéricos independientes de los parámetros de tipo del receptor. Hasta ahora, esta funcionalidad solo estaba disponible en funciones de paquete, lo que obligaba a los desarrolladores a mantener ciertas operaciones genéricas fuera de las estructuras. Con la nueva versión, una declaración de método puede incluir sus propios type parameters, abriendo la puerta a un diseño de APIs más limpio y expresivo.
El cambio principal se ilustra con un tipo contenedor genérico Box[T], donde el método Map[U any] puede transformar el tipo de elemento sin necesidad de duplicar la operación a nivel de paquete. Sin embargo, existe una restricción importante: las interfaces siguen sin poder declarar métodos con parámetros de tipo, y un método genérico no puede usarse para satisfacer una interfaz. Si se intenta, el compilador lo rechaza con el mensaje "interface method must have no type parameters".
Otra novedad destacada afecta a los struct literals: ahora se puede usar cualquier selector de campo válido como clave, no solo nombres de campos de primer nivel. Esto significa que los campos promocionados de structs embebidos pueden inicializarse directamente, sin necesidad de escribir el prefijo del tipo embebido. Por ejemplo, en lugar de User{Base: Base{ID: 7}, Name: "Mittens"}, basta con User{ID: 7, Name: "Mittens"}.
La inferencia de tipos en funciones también se generaliza. Ahora se aplica en todos los contextos donde se usa una función genérica esperando un tipo de función coincidente: no solo en asignación a variables, sino también en conversiones y composite literals. Antes era necesario escribir explícitamente los argumentos de tipo; ahora el compilador deduce los valores a partir del tipo esperado.
En el ámbito del rendimiento, el compilador genera llamadas a rutinas de asignación de memoria especializadas por tamaño, reduciendo el coste de algunas asignaciones pequeñas (menores de 80 bytes) hasta un 30%. La mejora global esperada ronda el 1% en programas reales con mucha asignación, a cambio de aproximadamente 60 KB extra de tamaño binario. Si se necesita desactivar esta optimización, puede hacerse con GOEXPERIMENT=nosizespecializedmalloc, opción que se eliminará en Go 1.28 según los planes actuales.
El sistema de tracebacks también mejora. Para módulos cuyo go.mod indique Go 1.27 o posterior, los tracebacks ahora incluyen etiquetas de goroutine de runtime/pprof en la línea de cabecera de cada goroutine. Esto permite que el contexto añadido con pprof.Do aparezca en volcados de panic, trazas SIGQUIT y llamadas a runtime.Stack. Puede desactivarse con GODEBUG=tracebacklabels=0, ajuste introducido en Go 1.26 y que se espera permanezca disponible de forma indefinida, especialmente útil para evitar exponer datos sensibles.
El detector de goroutines filtradas, introducido como experimento en Go 1.26, se gradúa a perfil regular en Go 1.27. El paquete runtime/pprof expone ahora un perfil "goroutineleak" que ejecuta un ciclo de GC para encontrar goroutines bloqueadas permanentemente y reporta sus stacks, sin necesidad de GOEXPERIMENT. Una goroutine "filtrada" es aquella bloqueada indefinidamente en un canal, mutex o similar, sin posibilidad de progresar. En servicios reales, el endpoint habitual es /debug/pprof/goroutineleak de net/http/pprof.
En materia de criptografía, el nuevo paquete crypto/mldsa implementa ML-DSA, el esquema de firma digital post-cuántica especificado en FIPS 204. Está disponible en tres conjuntos de parámetros: MLDSA44, MLDSA65 y MLDSA87. El soporte para ML-DSA se extiende también a crypto/x509 para claves privadas y públicas, preparando al ecosistema Go para la era post-cuántica.
En definitiva, Go 1.27 consolida la evolución del lenguaje iniciada en versiones anteriores, con especial énfasis en genéricos, ergonomía del desarrollador y observabilidad. Las notas oficiales están disponibles en go.dev/doc/go1.27, aunque el recorrido interactivo publicado por VictoriaMetrics —que recoge esta tradición iniciada por Anton Zhiyanov desde Go 1.22 y continuada hasta 1.26— ofrece ejemplos ejecutables que facilitan la comprensión práctica de cada cambio.