F#

Le tout dernier langage de Microsoft, F# est basé à 80% sur Ocaml!
Détail des différences entre ocaml et F#

Haskell, HOP et l'INRIA dans la presse du monde php/java

Les magazines de vulgarisation se mettent à parler d'Haskell (langage fonctionnel pur)
Introduction sur programmez.com

Il vont même jusqu'à parler de HOP, un projet de l'inria qui propose un framework de développement d'applications web (html/js) avec un langage basé en grande partie sur Scheme. Et pour ceux qui ne le savent pas, Scheme est un autre langage fonctionnel!
Intro de l'article sur HOP

Intel et Ct

Intel planche sur le calcul parallèle (il y'a effectivement de quoi faire avec les multi core!) et a créé un nouveau langage : Ct is strict and purely functional (description très détaillée de Ct)
C'est un langage pour simplifier le développement sur les machines multicore, et plus particulièrement sur les serveurs de calculs du projet TeraScale (processeur avec 80cores).
Présentation de Ct par un de ses créateurs