Кто-то там в Mozilla уже несколько лет разрабатывает язык Rust ("Ржавчина").
Вапще-то это не только функциональный язык, поддерживает он и другие парадигмы, в том числе ООП, акторы и т.д.

http://wiki.github.com/graydon/rust/
http://wiki.github.com/graydon/rust/language-faq