Which is best/recommend functional lang?

Coq > Agda > Clean > Haskell > Ocaml > ATS > Epigram?

What is your opinion?

Mines:
Coq has all trades, and a fair repository to start real programs with.
Agda is what Haskell needs, and Clean just does it, but both do not have a repository.
Ocaml just has a great repository. And ATS has imperative syntax included.

If you have other recommendations, please do tell. I guess I am asking which is the most versatile language of these all. Leaning towards Haskell, and when Coq is ready. Unless Common Lisp is the answer to all.

>>20

What is wrong with PHP you dipshit? It is a much better language than haskell for sure, because there are millions of websites made in PHP and 5 in haskell. It is the superior weblanguage. People here don't understand how to program if they say PHP sucks, because it is one of the best language I ever found.


Why don't haskell haven't got Opcode caches? Because they suck, they can't create such a complex piece of technology.