Jacquard - Lenguaje de programación para código escrito por IA y revisado por humanos
Show HN: Jacquard, a programming language for AI-written, human-reviewed code
Jacquard es un pequeño lenguaje de programación diseñado para la era en la que la IA escribe la mayor parte del código y los humanos lo revisan. Ofrece una sintaxis compacta, un comprobador de tipos y efectos, y un intérprete CPS en OCaml, junto con un backend AOT que emite C. Su característica distintiva es la capacidad de exponer los efectos que un programa puede realizar, la incertidumbre discreta finita y la identidad canónica del programa, permitiendo a los revisores saber qué puede tocar el código y con qué probabilidad, sin leer cada línea. Incluye un probador de pruebas llamado Warp, que permite enumerar probabilidades exactas en modelos discretos y realizar pruebas exhaustivas. Jacquard es un prototipo de investigación funcional de extremo a extremo, con binarios para Linux y macOS, y una biblioteca estándar escrita en Jacquard.
La apuesta detrás de todo esto: cuando la mayor parte del código está escrita por máquinas, los humanos que lo revisan necesitan que el propio lenguaje responda '¿qué puede tocar esto y qué tan seguros estamos?' sin leer cada línea.