Mmmh Haskell n'est pas un ML (comme par exemple StandardML et OCaml). La grosse différence coté fonctionnel est que les ML sont à évaluation stricte et Haskell à évaluation paresseuse. Sinon les ML ont toujours eu une partie impérative (encore plus poussé dans OCaml pour intégrer les objets et modules) alors que Haskell est pur. Si ton but est de découvrir le fonctionnel je vois pas bien l'intérêt de prendre un langage impur, à cet égard OCaml est un gros langage juste à cause de ça. L'approche d'haskell me semble plus élégante avec les monades.
Perso j'ai toujours regretté que dans OCaml il soit impossible de définir des classes de types. Par exemple il y a une addition + pour les entiers et une addition +. pour les flottants, mais ce n'est pas limité à ca le code Caml est rempli de fonction qui font le même type d'opération avec des nom légèrement différent à cause de cette limitation.
Sinon Haskell est un standard avec plusieurs compilo dispo, ce qui assure une certaine stabilité. Alors que Ocaml est géré par une équipe de l'INRIA dans un but de recherche.
Les deux langages possèdes des compilo très efficaces, avec de bonnes optimisations et génération de code natif. Ce qui est important pour contrebalancer la lenteur potentielle de la prog fonc.
[^] # Re: Et pis .....thon
Posté par Joris R (site web personnel, Mastodon) . En réponse au journal Lamentations ou les remords d'un geek. Évalué à 3.
Perso j'ai toujours regretté que dans OCaml il soit impossible de définir des classes de types. Par exemple il y a une addition + pour les entiers et une addition +. pour les flottants, mais ce n'est pas limité à ca le code Caml est rempli de fonction qui font le même type d'opération avec des nom légèrement différent à cause de cette limitation.
Sinon Haskell est un standard avec plusieurs compilo dispo, ce qui assure une certaine stabilité. Alors que Ocaml est géré par une équipe de l'INRIA dans un but de recherche.
Les deux langages possèdes des compilo très efficaces, avec de bonnes optimisations et génération de code natif. Ce qui est important pour contrebalancer la lenteur potentielle de la prog fonc.