Links e a volta dos que não foram

O projeto Links pretende criar uma nova linguagem funcional, voltada para aplicações Web. À frente estão Philip Wadler e outros nomes importantes (Xavier Leroy, Benjamin Pierce, Simon P-J).

Wadler explica melhor do que eu. Vejam a introdução e os slides, ou antes, veja a mensagem introdutória no newsgroup comp.lang.functional.

Mas a idéia de ter uma linguagem puramente funcional largamente usada é muito interessante, e pode ajudar a mudar algumas coisas nessa indústria. Sem falar que o projeto promete trazer inovações interessantes, numa linguagem que deve misturar aspectos de ML e Haskell. Mais ou menos como seria minha linguagem dos sonhos atualmente.

(Ah, e o artigo que ele cita sobre efeitos e mônadas é o primeiro nesta página)