In passato, raccomandavo che per imparare la programmazione funzionale, si dovesse imparare Haskell. Oggi, penso che quel consiglio non sia più ottimale. Il motivo per cui Haskell è difficile è a causa del suo enorme sistema di tipi, non perché sia funzionale. Un'opzione migliore per la programmazione funzionale sarebbe un derivato di lisp come Racket o Clojure. In questo modo ci si concentra sulla ricorsione e sui modelli di design funzionali piuttosto che sul sistema di tipi. (Penso ancora che tutti dovrebbero imparare Haskell a un certo punto, sia per il sistema di tipi che per l'aspetto della programmazione funzionale). Dato che l'IA scriverà la maggior parte del codice in futuro, mi sembra che la competenza di un programmatore sia specificare rigorosamente quale comportamento ci si aspetta, e poi lasciare che l'IA se ne occupi. Haskell è uno dei migliori linguaggi per specifiche rigorose. Inoltre, un po' di divertente lore su di me: ho usato Clojure in produzione a un certo punto semplicemente perché potevo e mi ero stancato dei linguaggi comuni. Ero praticamente inamovibile, quindi il mio capo doveva accettarlo anche se era (giustamente) scettico sull'uso di un linguaggio per cui è impossibile assumere. Sì, ero quel programmatore prima.