Rust y los agentes: por qué el diseño de lenguajes sigue importando
What agents mean for Rust (and vice versa)
El auge de los LLM no elimina la necesidad de diseñar lenguajes de programación. Rust, con su énfasis en el rendimiento y la seguridad, se adapta bien al desarrollo agéntico: los agentes pueden ajustar el rendimiento y los sistemas de tipos mantienen el rumbo, aunque se necesitan sistemas de prueba para garantizar la corrección. El autor, veterano diseñador de lenguajes, argumenta que Rust debe profundizar en su lema 'si compila, funciona' para aprovechar al máximo esta era.
Los sistemas de tipos pueden mostrar la ausencia de errores, pero no la presencia de corrección.
- gregwebs
Rust tiene una debilidad evidente: los tiempos de compilación. Sospecho que en la era de los LLM veremos el auge de un lenguaje o quizás algún tipo de rediseño de Rust que logre lo que Rust tiene con gran rendimiento y gran seguridad de tipos, pero que también tenga mejor soporte para una compilación rápida.
He descubierto que los agentes son buenos escribiendo pruebas de Verus en una base de código Rust, y que estas pruebas solo tienen un efecto negativo mínimo en la ruta de compilación normal. Tengo una habilidad para usar Verus: https://github.com/gregwebs/skills-sdlc/blob/main/skills/rus...
- kubb
Me pregunto si los lenguajes "difíciles" como Haskell resurgirán con los LLM, porque el coste a corto plazo de aprender el lenguaje ya no es tan significativo en contraste con los beneficios a largo plazo del sistema de tipos y una mejor estructura.
- xscott
Creo que podríamos dar un paso atrás y hacer una lista de características de los lenguajes de programación que son útiles o perjudiciales para que los LLM escriban código. No tengo una lista completa, pero cosas que he pensado:
Mensajes de error útiles en tiempo de compilación
Compilación rápida para iterar y corregir esos errores
Memoria, CPU y quizás GPU eficientes en tiempo de ejecución
Familiaridad a partir de los datos de entrenamiento [0]
Una forma obvia/preferida de hacer las cosas
Tipos explícitos
Rust cumple algunas de esas, pero no todas. No se me ocurre un lenguaje que las cumpla todas, pero mucha gente seguro que adora racionalizar por qué su lenguaje favorito es la mejor elección. Los LLM no necesitan azúcar sintáctico ni otras comodidades, y cualquier error pospuesto al tiempo de ejecución es una carga para ti, no para el modelo.
Podríamos añadir algunas características poco vistas para aumentar la confianza en los resultados y hacer que futuras modificaciones o cambios de modelo vayan mejor:
Precondiciones y postcondiciones requeridas
Límites impuestos a la longitud de funciones o métodos
Casos de prueba obligatorios
Convenciones de nombres impuestas
¿Pruebas de corrección al estilo Lean? (probablemente no)
Estoy indeciso sobre cosas como los tipos lineales/afines para la gestión de memoria frente a la recolección de basura. Obviamente quieres seguridad de memoria, pero hay más de una forma de conseguirla, y no sé si quieres forzar contorsiones para construir estructuras de datos simples.
[0] Los LLM son muy capaces de programar en lenguajes que nunca han visto. Les he hecho escribir programas usando mis propios compiladores de juguete fo […]
- Depurator
Llevo escribiendo Rust unos 6 años, y estoy muy contento de haber empezado antes de que los LLM entraran en escena, así que tuve que pelearme con el borrow checker y todo ese rollo.
Ahora bien, diré que soy extremadamente productivo con Rust y los LLM, y también es reconfortante saber que no tendré que reescribir nada a un nuevo lenguaje, Rust ya es el mejor.
Un famoso comediante sueco habla de la heroína como la "mejor droga". Donde la gente suele acabar y no quiere dejar de consumirla.
- antoineMoPa
He estado "programando" un par de aplicaciones con agentes + Rust recientemente y me doy cuenta de lo terriblemente enorme que puede crecer la carpeta target/. Luego, ejecutas cargo clean, obtienes un disco limpio pero la compilación tarda una eternidad otra vez. Rutinariamente me quedo sin espacio en disco.
En general me encanta la experiencia excepto esa parte.