en Ocaml, comment fait-on "data Mydata = (etc) deriving (Eq, Ord, Show, Read, Typeable, Data, Generic)

Bonjour,

tout (ou presque 8-)) est dans le titre. Je voudrais me lancer dans un projet perso en Ocaml, dont j'ai trouvé un équivalent embryonnaire en Haskell (ici, mais ce n'est pas vraiment l'important : https://github.com/digitalmentat/org...arse/issues/17)

Ce la me fait penser que j'ai toujours admiré la puissance naturelle du "deriving" en Haskell, qui en trois mot permet de tester l'égalité, d'ordonner, d'imprimer (Eq, Ord, Show) (etc), et et que je voudrais bien savoir comment faire la même chose en Ocaml !

Dans le cas présent :

Code:

---

1 2	data Mydata = (...) deriving (Eq, Ord, Show, Read, Typeable, Data, Generic)

---

Euh, vaste question ? ou au contraire, il y a le petit truc qui va bien et que je ne connais pas encore :weird::weird::weird:?

La réponse rapide : on ne peut pas le faire car il n'y a pas de typeclasses.

Toutefois une grande partie des fonctionnalités de ces typeclasses est disponible dans différents modules, notamment les modules Pervasives et Marshal.

En particulier :

• Le symbole == est l'égalité physique, les autres opérateurs de comparaison sont disponibles dans le module Pervasives (opérateurs =, <>, <, >, >=, <= et fonction compare).
• La lecture et l'écriture des données au format binaire (sérialisation) sont disponibles dans le module Marshal.

La lecture et l'impression des données au format texte sont particulières : ces fonctionnalités ne sont disponibles que dans le toplevel (l'interpréteur en ligne de commande). Autrement la sérialisation texte est disponible via Sexpr ou SExpr.

Pour ce qui est des types conteneur générique on a déjà abordé la question dans le sujet Iterateur sur type quelconque.

Citation:

---

Envoyé par SpiceGuid

La réponse rapide : on ne peut pas le faire car il n'y a pas de typeclasses.

Toutefois une grande partie des fonctionnalités de ces typeclasses est disponible dans différents modules, notamment les modules Pervasives et Marshal.

En particulier :

• Le symbole == est l'égalité physique, les autres opérateurs de comparaison sont disponibles dans le module Pervasives (opérateurs =, <>, <, >, >=, <= et fonction compare).
• La lecture et l'écriture des données au format binaire (sérialisation) sont disponibles dans le module Marshal.

La lecture et l'impression des données au format texte sont particulières : ces fonctionnalités ne sont disponibles que dans le toplevel (l'interpréteur en ligne de commande). Autrement la sérialisation texte est disponible via Sexpr ou SExpr.

Pour ce qui est des types conteneur générique on a déjà abordé la question dans le sujet Iterateur sur type quelconque.

---

OK. Merci de ta réponse très documentée.
En, fait, je veux programmer un projet personnel, et j'hésite encore entre Haskell et OCaml. Je ne suis pas du tout programmeur/développeur, juste ... amateur. Dès que je me lance, je reviens ici :-) C'st un projet de recherches de figures remarquables dans un texte.

Il y a des choses que je préfère nettement chez Haskell :
1- deriving (ok, traité ci-dessus)
2- les signatures "au-dessus" des déclarations : je trouve que ça aide vraiment beaucoup à la compréhension du code

Code:

---

1 2 3 4 5

-- pseudo-Haskell f :: 'a list -> int -> 'a list f list pos = .... -- je vois tout de suite que f est en fait nth (il y a bien sûr d'autres possibilités moins évidentes, mais le nom de la fonction clarifiera de toute façon ... un remove peut avoir la même signature par exemple

---

ou encore :

Code:

---

1 2 3 4 5

-- pseudo-Haskell f :: 'a list -> 'a -> int f list elt = .... -- je vois tout de suite que f renvoie le n° d'occurence (le premier probablement) de elt

---

3- le where à la place de let : permet d'exprimer sa pensée de façon plus naturelle...

Mais j'ai un penchant naturel pour OCaml par ailleurs ...


Tu pourrais me dire le mieux qu'on puisse faire en OCaml pour les points 2 et 3 ?

Tu peux très bien typer une fonction avant de la déclarer (bien sûr ça n'est pas aussi propre qu'en Haskell) :

Code:

---

1 2 3 4 5

let rec f : 'a list -> 'a -> int = fun list elt -> match list with | [] -> raise Not_found | h::t -> if h=elt then 0 else 1 + f t elt

---

Le where existait en Caml-Light, il a été supprimé en OCaml parce qu'il fallait trop souvent expliciter la portée de la déclaration. Et fréquemment on écrivait where là où il fallait écrire where rec.

Haha pour ton exemple tu as pris le contre-pieds de mon message en donnant une autre fonction que celle que j'imaginais :D:D:D

Oui effectivement ça se fait en OCaml, mettre la signature, mais c'est quand même moins propre comme tu dis.


Merci pour tes éclairages !