Jacquard es un lenguaje de programación ligero diseñado para entornos en los que los modelos de IA escriben código y los desarrolladores lo revisan. En lugar de identificar el código por cambios superficiales, abstrae su estructura y su intención lógica. Incluye un comprobador de tipos estático escrito en OCaml, un intérprete CPS (Continuation-Passing Style) y un backend nativo que emite C. La ejecución aislada y la detección de cambios son propiedades básicas del lenguaje. Los entornos tradicionales invalidan cachés y fuerzan compilaciones completas ante cambios de nombres o formato, y dejan abierta la posibilidad de que código generado por un agente elimine archivos o acceda a la red. Jacquard exige declarar efectos algebraicos en las firmas de funciones y controla capacidades explícitamente mediante --allow, bloqueando efectos no autorizados. Sus identificadores semánticos basados en contenido conservan la identidad de la lógica durante refactorizaciones y mejoran la caché. El framework de pruebas Warp simula efectos algebraicos con programación probabilística discreta y puede aplicar inferencia bayesiana para elegir entre parches según la probabilidad de superar pruebas. Los desarrolladores pueden combinar pruebas deterministas, caché e inyección de errores para cuantificar la seguridad de cada diff sin aplicar las mutaciones al entorno real.

Lenguaje de programación ligero para entornos donde la IA escribe código y las personas lo revisan.

Aplicación práctica: Jacquard es un lenguaje de programación ligero diseñado para entornos en los que los modelos de IA escriben código y los desarrolladores lo revisan. En lugar de identificar el código por cambios superficiales, abstrae su estructura y su intención lógica. Incluye un comprobador de tipos estático escrito en OCaml, un intérprete CPS (Continuation-Passing Style) y un backend nativo que emite C. La ejecución aislada y la detección de cambios son propiedades básicas del lenguaje. Los entornos tradicionales invalidan cachés y fuerzan compilaciones completas ante cambios de nombres o formato, y dejan abierta la posibilidad de que código generado por un agente elimine archivos o acceda a la red. Jacquard exige declarar efectos algebraicos en las firmas de funciones y controla capacidades explícitamente mediante --allow, bloqueando efectos no autorizados. Sus identificadores semánticos basados en contenido conservan la identidad de la lógica durante refactorizaciones y mejoran la caché. El framework de pruebas Warp simula efectos algebraicos con programación probabilística discreta y puede aplicar inferencia bayesiana para elegir entre parches según la probabilidad de superar pruebas. Los desarrolladores pueden combinar pruebas deterministas, caché e inyección de errores para cuantificar la seguridad de cada diff sin aplicar las mutaciones al entorno real.