Imp es un marco de programación declarativo, auto-mejorable para modelos de lenguaje para Elixir, un puerto completo de DSPy al BEAM. Permite que los desarrolladores describan pasos de modelos de lenguaje y valores de retorno, elijan estrategias de razonamiento y optimicen programas contra ejemplos etiquetados usando la fiabilidad y concurrencia de OTP.

Los desarrolladores definen firmas tipadas como "issue -> kind: enum[bug,feature,question], summary" y las llaman con Imp.predict/2. El marco construye prompts desde firmas, valida respuestas y devuelve campos tipados. Se admite la razonamiento cadena de cadena y el uso de herramientas mediante Imp.chain_of_thought/2 e Imp.react/3 sin cambiar firmas.

La optimización utiliza conjuntos de datos etiquetados (trainset, valset, testset) con métricas. GEPA, un LM fuerte, lee fallos y reescribe instrucciones. Otros optimizadores incluyen Labeled Few Shot, Bootstrap Few Shot, MIPROv2, SIMBA y afinado con GRPO.

Los agentes se ejecutan como procesos OTP supervisados con Imp.start_run/3, lo que permite monitoreo y controles de autorización. Las herramientas son funciones Elixir puras envueltas con Imp.tool/3. El marco depende de Req para llamadas HTTP.

Imp permite construir desde llamadas tipadas individuales hasta agentes de ejecución prolongada, mejorando cada componente a través de la medición y optimización mientras mantiene las garantías de tolerancia a fallos y concurrencia de Elixir.