En ce qui concerne Coq et Agda, et sans doute Epigram, mais je ne connais pas assez, ces langages ne sont pas Turing-complets, donc en parler comme « langages de programmation », c'est discutable.
Par ailleurs, parce qu'il vaut toujours mieux préférer l'original à la copie, je pense que OCaml est supérieur à F#. (Et puis le tout objet, c'est hideux).
Sinon, dans les langages rigolos, il y a ATS.
Et dans les langages exotiques, il y a Unlambda, parce que call/cc, c'est bien.
[^] # Re: Différents langages
Posté par Perthmâd . En réponse à la dépêche Apprendre un langage de programmation par an. Évalué à 1.
Par ailleurs, parce qu'il vaut toujours mieux préférer l'original à la copie, je pense que OCaml est supérieur à F#. (Et puis le tout objet, c'est hideux).
Sinon, dans les langages rigolos, il y a ATS.
Et dans les langages exotiques, il y a Unlambda, parce que call/cc, c'est bien.