Haskell quiere ser el lenguaje del «human in the loop» en la era de la IA
A technical vision for the Haskell ecosystem
El comité de liderazgo técnico de la Haskell Foundation ya está operativo y presenta su visión: acelerar la compilación (de 6 a 2 horas en la CI de GHC), ofrecer depuración determinista, un onboarding impecable y estabilidad para compilar código de hace diez años con el GHC más reciente. Sostienen que Haskell es ideal para flujos de IA responsables, porque sus garantías favorecen a quien revisa el código generado.
Puede que haya mejores lenguajes para la verificación formal o para el vibecoding, pero no hay mejor lenguaje para el «human in the loop».
- ecshafer
Estaba pensando en Haskell recientemente, ¿por qué no es más popular con la IA? Haskell es muy conciso y eficiente en tokens, tiene muchas características expresivas de seguridad. Rust está obteniendo adopción adicional debido a su rigor, así que oye, ¿por qué no tener esto en Rust en lugar de Javascript si toma el mismo tiempo escribir?
Un lenguaje ideal para IA agéntica pensaría que es extremadamente estricto, donde la IA puede iterar sobre las herramientas para corregir. Probablemente sería menos verboso y más conciso para permitir que la IA sea más eficiente con los tokens.
- pmkary
Hay este video memo de S. P. Jones que dice famosamente "Haskell is Useless". Amo Haskell, pero desearía que fuera universal como C, C++, JavaScript, Rust y C#. Con eso quiero decir: podría usarse para crear aplicaciones para escritorio, móvil y web. JavaScript se puede usar para hacer tantas cosas como impulsar toda la web, estar en node y permitir que cualquiera cree cli y comparta el código con la web, y móvil a través de React Native, en escritorio con Electron y cosas similares, permite hacer plugins para Dios sabe cuántas cosas, permite escribir cosas para GNOME Shell... C y C++ están quizás detrás de todo en el mundo y la teoría de cuerdas finalmente se verá que están escritos en C. Y se pueden compilar a Web y casi todo en el mundo. Rust es un marcador de posición para los dos, y C# se reinventó cuando vio Mono y ahora funciona incluso en el navegador. Cada vez que veo Haskell me pregunto qué más puedo hacer además de crear aplicaciones CLI, y me hace elegir otra cosa que me otorgue más reutilización de código y aplicaciones interesantes.
Si pudiera tener una visión para Haskell, era que fuera útil. La investigación académica y hacer compiladores es genial, algunas cosas cli aquí y allá también son geniales, pero ¿por qué no podemos construir reproductores de música y motores de juego y flutters y páginas web con él? El lenguaje es mucho más elegante y hermoso que todos los lenguajes tipo JS/C que existen y realmente desearía poder usarlo para las cosas que hago. Conozco Servant/Yesod/IHP/Miso/Reflex para web, GTK/M […]
- carterschonwald
hasufell ha sido una persona maravillosa en el mundo de Haskell. Tiene ideas muy claras sobre las cosas y demás.
Además, lo que ahora puedo construir en Haskell con ayuda de computadora es épico. A principios de esta semana levanté lo que creo que es uno de los, si no el: mejor lector y escritor de formato de archivo step en casi todos los ejes. Algunos de C son un 20-30 por ciento más rápidos en los ensamblajes CAD más grandes posibles que pude probar.
Un eje importante que la gente descuida considerar: la forma principal en que los LLM se están escalando para una mejor codificación son megatones métricos de trazas de aprendizaje por refuerzo, y la verificación de tipos que es elegante proporciona un bucle de retroalimentación de entrenamiento más barato y rápido.
Con un LLM como una especie de becario maníaco loco al que estoy mirando por encima del hombro, por así decirlo, puedo construir las API y diseños que puedo ver pero no puedo escribir ni de cerca a la misma escala. Pero puedo especificar las claves para los diseños exactos de manera bastante compacta y luego el agente actúa como un compilador que tengo que corregir e iterar ejecutando.
- nilkn
No tiene suficiente valor marginal agregado sobre competidores como Rust. Hay otras sinergias más significativas con los agentes de codificación que están recibiendo atención, como la verificación formal autónoma. Lenguajes como Lean permiten una categoría completamente nueva de ingeniería, y Haskell simplemente no lo hace. Así que está atrapado en un término medio difícil donde es demasiado diferente para justificarse en relación con sus ganancias, pero no lo suficientemente diferente para capturar las nuevas oportunidades que están surgiendo.
- KolmogorovComp
Aunque estoy de acuerdo en que el tiempo de compilación es un gran problema, creo que el enfoque debería estar realmente en la compilación incremental, porque considerando cuánto trabajo tiene que hacer el compilador de Haskell, es de esperar que sea bastante lento en una compilación completa.
Pero la compilación incremental no tiene razón para ser lenta, si el alcance es tan detallado como el nivel de función y tipo.