Solía recomendar que para aprender programación funcional, uno debería aprender Haskell. Hoy en día, creo que los consejos no son tan óptimos. La razón por la que Haskell es difícil es por el sistema de tipos masivo, no porque sea funcional. Una mejor vía para la programación funcional sería un derivado del ceceo como Racket o Clojure. De este modo, se centra en la recursividad y los patrones de diseño funcionales en lugar de en el sistema de tipos. (Sigo pensando que todo el mundo debería aprender Haskell en algún momento, tanto por el sistema de tipos como por el aspecto de la programación funcional). Dado que la IA escribirá la mayor parte del código en el futuro, me parece que la habilidad de un programador es especificar rigurosamente qué comportamiento se espera y luego dejar que la IA se encargue de ello. Haskell es uno de los principales lenguajes para especificaciones rigurosas. También algo de historia divertida sobre mí: usé Clojure en producción en un momento simplemente porque podía y estaba aburrido de los lenguajes comunes. Básicamente, no era capaz de ser despedido, por lo que mi jefe tuvo que aceptarlo, a pesar de que era (con razón) escéptico sobre el uso de un idioma para el que es imposible contratar. Sí, yo era ese programador antes.