Pour les non-informaticiens mais avec un parcours plutôt sciences dures, c'est du bonheur: une impression de rigueur mathématique claire que je ne retrouve pas ailleurs!
En terme de rigueur et d'esprit mathématique, je pense qu'Haskell va bien au-delà d'OCaml. Son insistance sur la notion de "pureté" lui donne un aspect terriblement mathématique. Par contre, sa rigueur est parfois pénible quand on débute, sur du code un peu complexe (E/S, combinaisons de monades, etc).
[^] # Re: C'est triste ton avis sur Ocaml
Posté par rogo . En réponse à la dépêche OCaml 4.00.0 est sorti. Évalué à 1.
En terme de rigueur et d'esprit mathématique, je pense qu'Haskell va bien au-delà d'OCaml. Son insistance sur la notion de "pureté" lui donne un aspect terriblement mathématique. Par contre, sa rigueur est parfois pénible quand on débute, sur du code un peu complexe (E/S, combinaisons de monades, etc).