Planteamiento y contexto
Un equipo de Go mantiene varios módulos. Su biblioteca pública debe seguir compilando con Go 1.26, mientras que un módulo experimental desea evaluar los métodos genéricos descritos en las notas de la versión Go 1.27. El equipo espera colocar operaciones genéricas relacionadas con tipos dentro de un espacio de nombres de métodos sin alterar la compatibilidad de interfaces, los requisitos de la cadena de herramientas (toolchain) ni los pipelines de publicación. Explique los límites del lenguaje, el diseño del experimento, la matriz de compilación y las condiciones de salida.
La página de Go etiqueta explícitamente las notas de 1.27 como borrador (draft), indica que la versión aún no está disponible y prevé un lanzamiento para agosto de 2026. Describe métodos que declaran sus propios parámetros de tipo, al tiempo que establece que los métodos de interfaz no pueden declarar parámetros de tipo ni ser implementados por métodos genéricos. Trate esto como restricciones previas al lanzamiento y no como promesas estables del lenguaje.
Qué evalúa el entrevistador
El entrevistador está evaluando si usted puede distinguir entre parámetros de tipo en un tipo, una función y un método, y si comprende que un método aparentemente más genérico no satisface automáticamente una interfaz. Las respuestas sólidas proponen un experimento mínimo, una matriz de compiladores y go.mod, aislamiento de la API pública, un plan de reversión (rollback) y un registro de los cambios del borrador.
Preguntas aclaratorias para hacer
- ¿El objetivo es la expresividad del llamador, la inferencia de tipos o la reutilización de una implementación interna?
- ¿El código experimental podría ser importado por módulos estables, generadores, complementos (plugins) o consumidores externos?
- ¿Cuál es la versión mínima de Go, la superficie de la interfaz y la cadencia de lanzamientos para la API pública?
- ¿Qué compiladores, analizadores, IDEs y plataformas de CI deben verificarse?
- Si el borrador se renombra, se retira o cambia de semántica, ¿se puede eliminar el experimento sin modificar los módulos estables?
Respuesta en 30 segundos
“Etiquetaría Go 1.27 como borrador y colocaría el experimento en un módulo y trabajo de CI aislados sin modificar la API pública de Go 1.26. Un método genérico puede declarar sus propios parámetros de tipo, pero los métodos de interfaz no pueden, y un método genérico no puede implementar uno; verificaría esos límites con interfaces concretas y funciones genéricas. El experimento mediría la legibilidad, la inferencia, el tiempo de compilación y el comportamiento de las herramientas, sin publicar sintaxis preliminar a los consumidores estables. Cualquier inconsistencia en el compilador, en la satisfacción de interfaces o en el código generado cerraría el experimento y mantendría la implementación estable.”
Respuesta detallada paso a paso
1. Confirmar los hechos de la versión y los objetivos del experimento
Registre la fecha de la página oficial, el estado de borrador y el lanzamiento previsto en lugar de tratar notas de trabajo en progreso como una especificación. Convierta el objetivo en hipótesis medibles, tales como menos funciones auxiliares a nivel de paquete, inferencia más clara en el punto de llamada o una mejor expresión de una estructura de datos interna. Decir que “los métodos genéricos son más elegantes” no es un criterio de aprobación.
2. Separar los tres límites de los parámetros de tipo
Un tipo puede declarar sus parámetros de tipo, una función puede declarar parámetros inferidos en el punto de llamada, y la característica preliminar de métodos genéricos permite que un método declare sus propios parámetros. Los métodos de interfaz todavía no pueden declarar parámetros de tipo, y una interfaz no adquiere un método genérico simplemente porque un tipo concreto proporcione uno. Muestre ejemplos que compilen y otros que fallen intencionalmente para que el fallo se entienda como una regla del lenguaje y no como un error de las herramientas.
type Box[T any] struct {
value T
}
// Go 1.27 draft syntax; do not publish from a stable Go 1.26 module.
func (b Box[T]) Convert[U any](fn func(T) U) U {
return fn(b.value)
}
type Converter interface {
// Interface methods cannot declare their own type parameters.
Convert(/* generic method is not allowed here */)
}La sintaxis del método se muestra únicamente para enmarcar la discusión del borrador. Un experimento real debe utilizar el compilador publicado y sus notas de versión; la interfaz comentada no es una API pública compilable.
3. Aislar el código preliminar en un módulo independiente
Coloque el experimento en su propio directorio y go.mod, fije la versión de la cadena de herramientas y evite que los módulos estables dependan de él. La biblioteca pública sigue compilando con Go 1.26. El módulo experimental puede usar un compilador preliminar, pero sus artefactos no deben ingresar a paquetes estables, plantillas generadas ni interfaces entre módulos. Eliminar el experimento debería requerir borrar un módulo y un trabajo de CI, no reescribir a los consumidores.
4. Construir una matriz de compiladores y herramientas
Cubra el compilador estable de Go 1.26, la cadena de herramientas utilizada para el borrador, go vet, analizadores estáticos, servidores de lenguaje de IDEs y plataformas de destino. Verifique la inferencia, diagnósticos, tiempo de compilación, comportamiento de caché, compilación cruzada, documentación y generadores. Un método genérico puede compilar mientras que los formateadores, analizadores o generadores aún carecen de soporte completo.
5. Probar interfaces y funciones en lugar de suposiciones
Para cada caso, registre el resultado esperado (compilación exitosa o fallo): llamadas a métodos concretos, funciones genéricas a nivel de paquete, asignación de interfaces, valores de método (method values), expresiones de método (method expressions) y reflexión. Las pruebas deben demostrar si la complejidad del llamador realmente disminuye. Si una interfaz aún necesita un adaptador, la característica quizás solo movió la sintaxis sin reducir el acoplamiento.
6. Establecer criterios de salida y lanzamiento
Detenga el proceso si la semántica del borrador cambia, el compilador falla abruptamente (crashes), las herramientas no pueden procesar el código, una API pública filtra el cambio de versión mínima o los benchmarks no muestran beneficios repetibles. Mantenga una implementación estable, un interruptor de funcionalidad (feature switch) y una línea base de comparación. No modifique la directiva go del módulo principal ni su API pública antes de un lanzamiento final y una revisión de migración. Registre las versiones del compilador, los hashes de confirmación (commit hashes) y las limitaciones conocidas.
Respuesta de muestra de alta calidad
Primero confirmaría que la página de Go 1.27 sigue en estado de borrador y luego colocaría los experimentos de métodos genéricos en un módulo y trabajo de CI independientes. La respuesta debe indicar que los métodos pueden declarar parámetros de tipo, mientras que los métodos de interfaz no pueden y no pueden ser implementados por métodos genéricos. Probaría llamadas concretas, funciones genéricas a nivel de paquete, asignación de interfaces, valores de métodos y herramientas; la biblioteca estable continuaría compilando con Go 1.26 y ninguna sintaxis del borrador podría ingresar a su API pública, código generado o artefacto de lanzamiento. Solo después de un lanzamiento final, soporte del compilador y herramientas, benchmarks repetibles y una revisión de compatibilidad discutiría la migración; de lo contrario, cerraría el experimento y mantendría la implementación estable.
Errores comunes
- Tratar las notas de una versión preliminar como una especificación estable → La semántica y la sintaxis pueden cambiar → Registre el estado y aísle el experimento.
- Asumir que los métodos de interfaz pueden declarar parámetros de tipo → Viola el límite documentado → Pruebe interfaces concretas y funciones genéricas por separado.
- Hacer que un módulo de Go 1.26 dependa del experimento → La cadena de herramientas mínima requerida aumenta silenciosamente → Mantenga el aislamiento unidireccional entre módulos estables y experimentales.
- Verificar únicamente el éxito del compilador → vet, IDEs, generadores o la compilación cruzada pueden fallar → Ejecute una matriz completa de herramientas.
- Eliminar la implementación estable en favor de la nueva sintaxis → Si se retira el borrador no habrá opción de reversión → Mantenga una implementación de comparación, un interruptor y un criterio de salida.
Preguntas de seguimiento y respuestas
¿Cuál es la diferencia fundamental entre un método genérico y una función genérica?
Una función genérica declara parámetros de tipo en una función a nivel de paquete. Un método genérico declara sus propios parámetros de tipo en un método de un tipo receptor. El espacio de nombres del método puede adaptarse mejor al punto de llamada, pero no modifica automáticamente las reglas de las interfaces.
¿Por qué un método de interfaz no puede simplemente admitir un método genérico?
La satisfacción de interfaces requiere un conjunto de métodos estable y comparable. El borrador oficial indica que los métodos de interfaz no pueden declarar parámetros de tipo y no pueden ser implementados por métodos genéricos, por lo que este límite debe manejarse mediante métodos concretos, adaptadores o funciones genéricas a nivel de paquete.
¿Cómo demuestra que el experimento no se filtró a los módulos estables?
Compile el módulo de Go 1.26 de manera independiente, inspeccione su grafo de dependencias, los paquetes generados y los artefactos de lanzamiento, prohíba las importaciones de la ruta del experimento en CI y audite los símbolos públicos y las directivas de versión.
¿Basta con que el compilador tenga éxito?
No. Verifique gofmt, vet, analizadores, soporte de IDE, generadores, compilación cruzada, documentación y benchmarks, ya que un borrador puede integrarse en el compilador antes de que el resto de la cadena de herramientas esté listo.
¿Cuándo puede migrar un proyecto de producción?
Después del lanzamiento final, con un comportamiento estable del lenguaje y las herramientas, matrices de interfaz y compilación aprobadas, beneficios reproducibles, una vía de reversión, comunicación con los consumidores y una política de versiones revisada, comience con una migración pequeña.