El contrato entre las dos mitades
Los tipos cubren la forma; queda comprobar que las dos mitades están de acuerdo en el significado. Cómo se verifica sin pruebas de extremo a extremo.
El hueco
Las tres formas de cerrarlo
La primera es la que merece montarse porque tiene la garantía de la tercera con el coste de la primera.
Cómo se hace
Y el paso 2 tiene un beneficio adicional: ver cómo cambia una respuesta en una revisión de código es la forma más clara de detectar un cambio que rompe compatibilidad — mucho más que leer el código que lo produjo.
Los desajustes de significado que aparecen
Y los cuatro que este mecanismo suele encontrar:
- Unidades: segundos frente a milisegundos, bytes frente a kilobytes.
- Zonas horarias: una fecha universal interpretada como local.
- Valores nulos frente a ausentes: un campo que el core omite y el frontend espera nulo.
- Y enumerados: un estado nuevo que el core devuelve y el frontend no contempla.
El último es el más frecuente en aplicaciones que crecen, y con ejemplos generados salta en cuanto se añade el estado nuevo.