Shopify ha revertido su uso de React Native para desarrollar aplicaciones móviles, optando por código nativo en Swift y Kotlin. Este cambio, impulsado por la mejora de los agentes de programación, no responde únicamente a la necesidad de rendimiento, sino a la reducción del coste de desarrollo. Los agentes pueden portar automáticamente el código entre plataformas, eliminando la necesidad de mantener dos bases de código separadas y permitiendo una coordinación más eficiente de actualizaciones. Sin embargo, el autor argumenta que el verdadero cambio estructural reside en la verificación formal del software. Mientras que la compilación estática y el código nativo mejoran la velocidad, no resuelven la complejidad de garantizar la corrección del código. La verificación formal, mediante herramientas como Dafny, permite demostrar matemáticamente que el software cumple sus especificaciones, algo crucial para sistemas críticos. La automatización de la escritura de pruebas formales por parte de los agentes de IA reduce drásticamente la barrera de entrada, haciendo viable su adopción en proyectos de mayor escala. Aunque actualmente estas herramientas presentan limitaciones de estabilidad y velocidad, la tendencia sugiere que la verificación formal se convertirá en el mecanismo principal para garantizar la fiabilidad del software, superando a las pruebas tradicionales basadas en casos de uso específicos.
Noticias agregadas con IA