¿Se puede escribir un lenguaje de programación con IA? La experiencia de Nova
El autor lleva cinco meses y medio escribiendo Nova, un lenguaje tipo Go/Rust para backend que declara en el tipo de cada función los efectos que realiza, como red, tiempo o sistema de archivos. Gracias a esos efectos, las pruebas pueden sustituir la implementación real sin frameworks de mocks. El proyecto tiene dos compiladores, Nova Oracle en Rust y Nova Carina escrito en Nova, y una especificación con más de 300 decisiones de diseño justificadas. El primer compilador llegó a un callejón sin salida cuando los agentes duplicaron el cálculo de tipos de expresiones, y el autor cuenta que pasó un mes intentando unificar ambas implementaciones.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- Habr IA (RU)Leer la noticia completa en Habr IA (RU)