Name: Pope Nic Kage 2013-07-26 11:25
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.
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.