Magpie — a linguagem de programação projetada para que LLMs escrevam código perfeitamente na primeira tentativa
(magpie-lang.com)Introdução ao projeto
Magpie é um projeto open source que se apresenta como a "primeira linguagem de programação feita para agentes de IA". Enquanto as linguagens existentes foram otimizadas para a conveniência de digitação humana, a Magpie é otimizada para a geração de código por LLMs. A filosofia central é a "eliminação de ambiguidades". Em Rust ou TypeScript, em a + b é preciso inferir se se trata de soma de inteiros ou concatenação de strings, se haverá pânico em caso de overflow etc., mas na Magpie toda operação é descrita explicitamente, como em i.add { lhs=%a, rhs=%b }. O método de ramificação também se resume a apenas cbr/br, e a transferência de propriedade da memória também é expressa como uma operação explícita. A principal tese é que "quanto menos opções houver, menos pontos de decisão o LLM terá e menores serão os erros".
Descrição
Internamente, a linguagem adota a sintaxe SSA (Static Single Assignment) e é compilada para código de máquina nativo via LLVM. O gerenciamento de memória mistura ARC (Automatic Reference Counting) com regras explícitas de propriedade no estilo Rust, garantindo segurança sem GC. Segundo os benchmarks divulgados, o tempo de compilação é de 155 ms, mais rápido que Rust (234 ms) e TypeScript (268 ms); a velocidade de execução é a mesma do Rust, com 32 ms; e o uso de memória é de 1,6 MB, drasticamente menor que o do TypeScript (69,2 MB). Em especial, no indicador de complexidade de vocabulário (Vocabulary Complexity), que representa a previsibilidade para LLMs, a linguagem marca 0,107, cerca de metade de Rust (0,225) e TypeScript (0,231).
No entanto, a própria Magpie informa que "usa cerca de 2,3 vezes mais tokens do que linguagens existentes", então há um trade-off em termos de custo de chamadas de LLM. A avaliação de sua utilidade prática pode variar conforme o que for mais importante: reduzir o número de tentativas ao gerar código complexo por agentes de IA ou a eficiência no uso de tokens. Ela é construída em Rust e pode ser instalada com cargo build.
git clone https://github.com/magpie-lang/magpie.git
cd magpie
cargo build -p magpie_cli
7 comentários
Hum... pesquisei por Magpie e apareceu outra linguagem (magpie-lang.org, cujo desenvolvimento começou em 2013); será que não existe algo como direitos sobre o nome....
O nome de uma trena a laser que eu conheço também é magpie kkk
Se for de um setor diferente, até dá para relevar.
Mas sendo a mesma linguagem de programação, né kkk... Se eu desenvolvesse uma linguagem nova e desse a ela o nome de C++ ou Rust, sinto que ia levar bronca...?
Interessante. Vocês têm algum plano de desenvolvimento para o futuro?
Então, isso parece ser apenas uma suposição de que, ao usar o Magpie, as novas tentativas seriam reduzidas nesse nível, já que não há resultados de medição do uso real de tokens para uma única tarefa.
A comparação de tempo de compilação está estranha. Por que comparar ms/token?
Será que não é porque é uma linguagem AI-native(?)?
Como não é uma linguagem feita para humanos escreverem diretamente, não faz sentido ficar discutindo o tamanho real do código e coisas do tipo;
parece que a ideia é medir o tempo de compilação de um prompt para implementar alguma funcionalidade... kkk