Magpie — un lenguaje de programación diseñado para que los LLM escriban código perfectamente en el primer intento
(magpie-lang.com)Introducción al proyecto
Magpie es un proyecto de código abierto que se presenta como “el primer lenguaje de programación creado para agentes de IA”. Mientras que los lenguajes existentes están optimizados para la comodidad de escritura de los humanos, Magpie está optimizado para la generación de código por parte de LLM. Su filosofía central es la “eliminación de la ambigüedad”. En Rust o TypeScript, en a + b hay que inferir si se trata de una suma de enteros o una concatenación de cadenas, o si ocurre un pánico en caso de overflow; en cambio, en Magpie todas las operaciones se describen explícitamente, como i.add { lhs=%a, rhs=%b }. También solo existe una forma de ramificación, cbr/br, y la transferencia de propiedad de memoria se expresa como una operación explícita. La afirmación central es que “cuantas menos opciones haya, menos puntos de decisión tiene el LLM y menos errores comete”.
Descripción
Internamente, el lenguaje adopta una sintaxis SSA (Static Single Assignment) y se compila a código máquina nativo mediante LLVM. La gestión de memoria combina ARC (Automatic Reference Counting) con reglas explícitas de propiedad al estilo Rust para garantizar seguridad sin GC. Según los benchmarks publicados, el tiempo de compilación es de 155 ms, más rápido que Rust (234 ms) y TypeScript (268 ms); la velocidad de ejecución es de 32 ms, igual que Rust, y el uso de memoria es de 1.6 MB, abrumadoramente menor que TypeScript (69.2 MB). En particular, en el indicador de complejidad de vocabulario (Vocabulary Complexity), que representa la previsibilidad para los LLM, obtiene 0.107, aproximadamente la mitad de Rust (0.225) y TypeScript (0.231).
Sin embargo, el propio Magpie señala que “usa aproximadamente 2.3 veces más tokens que los lenguajes existentes”, por lo que existe un trade-off en términos del costo de las llamadas al LLM. La evaluación de su practicidad puede variar según qué sea más importante: reducir la cantidad de reintentos cuando un agente de IA genera código complejo, o la eficiencia en el uso de tokens. Está construido en Rust y se puede instalar con cargo build.
git clone https://github.com/magpie-lang/magpie.git
cd magpie
cargo build -p magpie_cli
7 comentarios
Mmm... busqué Magpie y me aparece otro lenguaje (magpie-lang.org, cuyo desarrollo empezó desde 2013); me pregunto si no habrá algún tema de derechos de autor con el nombre....
El distanciómetro láser que conozco también se llama magpie jajaja
Si fuera de otra industria, creo que podría entenderse. ¿Porque es un producto distinto?
Pero siendo el mismo lenguaje de programación jajaja... si yo desarrollara un lenguaje nuevo y le pusiera C++ o Rust, siento que me regañarían...?
Qué interesante. ¿Tienen planes de desarrollo a futuro?
No hay resultados de medición del uso real de tokens para una sola tarea; más bien, parece ser solo una suposición de cuánto se reducirían los reintentos al usar magpie.
La comparación del tiempo de compilación se ve extraña. ¿Por qué comparan ms/token?
¿No será porque es un lenguaje AI-native(?)?
Como no es un lenguaje hecho para que lo escriba directamente una persona, qué tan largo sea el código real y demás no tiene mucho sentido,
creo que la idea es medir el tiempo de compilación de un prompt para implementar cierta funcionalidad... jajaja