Version imprimable
Bonjour,
je viens de découvrir la librairie Extlib, (après avoir codé moi-même une partie de ses fonctions dont j'avais besoin ... bon exercice pour débuter).
Je voudrais savoir si quelqu'un peut me dire ce qu'est Enum, et à quoi cela sert.
Merci d'avance !:D
C'est une "énumération". Tu peux penser ça comme une liste d'éléments, mais l'implémentation est beaucoup plus générique (... et compliquée).
Cette structure a été pensée pour être en quelque sorte la "langue commune" des structures de données les plus courantes : au lieu d'implémenter Array.filter, DynArray.filter, etc., on implémente Array.to_enum, DynArray.to_enum, et un Enum.filter.
Plus généralement, si tu as seulement besoin "d'énumération" et sans contraintes algorithmiques particulières (comme les listes qui permettent de récupérer la queue en O(1), ou les tableaux qui ont un accès à une case arbitraire), par exemple pour juste effectuer une action sur tous les éléments à la suite, tu peux utiliser Enum. En quelque sorte c'est une structure "neutre".
Son implémentation est assez sophistiquée parce qu'elle est faite pour pouvoir "communiquer" avec les autres structures de données de la manière la plus efficace possible (c'est à dire pouvoir faire des conversions dans les deux sens rapidement, pas comme Array.of_list qui est linéaire). En particulier elle utilise des méthodes "paresseuses" pour reporter le travail inutile.
Tu n'as pas à te soucier de ça tant que tu utilises Enum "normalement". Si un jour tu as des besoins très spécifiques de performance tu pourras toujours t'y plonger, mais en attendant je te le déconseille : utilise Enum comme une énumération, les fonctions de conversion sans gêne, et voilà.
Merci Bluestorm c'est grace à toi que j'ai découvert ExtLib qui va me rendre de grands services je ense, tu en parlais là.
Ceci étant, je ne suis pas sûr d'avoir bien compris... tu aurais un petit exemple sous la main ?
ma recherche sur Google / code search n'a rien donné.
C'est passionnément inintéressant.
En gros, si j'ai bien lu bluestorm, ça fait une alpha conversion, en OCaml on le ferait avec un let:Citation:
Ceci étant, je ne suis pas sûr d'avoir bien compris... tu aurais un petit exemple sous la main ?
Code:let module Enum = DynArray in ... Enum.filter ...
Euh, non. C'est des fonctions de conversion, comme Array.of_list / Array.to_list.
Code:
2
james-ml : tu peux lire la doc
oui c'est ce que j'avais fait, mais le mot énum m'a fait peur. Je comprends que cela s'utilise comme des listes, mais avec des conversions possibles vers des tableaux, et optimisées de surcroit (paresseuses ?).Citation:
Envoyé par bluestorm
Je creuse le sujet car j'ai actuellement un bout de code à écrire ou j'utilise des listes de 2 façons :
-avec des maps, des fold et autres dans la plupart des cas
-parfois besoin d'un accès séquentiel
J'ai implémenté ça sur des listes, et j'ai sagement remis l'optimisatoin de la partie à accès direct à plus tard.
Enum pourrait-il m'aider ?
:question::question::question:Citation:
Envoyé par SpiceGuid
Je m'explique:
- l'environnement OCaml est riche en outils et en librairies
- la programmation fonctionnelle est basée sur un modèle behavioriste (lambda-calcul et catégories bicartésiennes fermées), au contraire de la machine de Turing dont l'intérêt réside principalement dans sa simplicité mécanique
Du coup il paraît plus excitant pour le débutant d'explorer toutes les choses autour du langage plutôt que le coeur du langage lui-même.
Si c'est une phase d'approche pour se familiariser à petits pas avec un langage qui est indéniablement difficile alors pourquoi pas.
Ce qui serait dommage c'est que ça devienne une manière de passer à côté du paradigme fonctionnel.
Quelque chose comme List.iter ?Citation:
-parfois besoin d'un accès séquentiel
SpiceGuid, te lire est toujours un plaisir, surtout quand tu t'expliques.Citation:
Envoyé par SpiceGuid
Je ne suis pas sûr de bien te comprendre : tu veux dire que les "Enum" se situent "autour du langage" ?
Cependant quand je regarde le type Enum, je pense que c'est d'avantage "au cœur" qu'"autour" du langage, dans le sens où on ne les manipule que via .map, .fold, .iter et autres .filter.
Ceci dit je ne l'ai pas utilisé, et, me considérant encore un peu débutant, certes, je reste résolument preneur de bons conseils...
non, accès direct comme List.nth ou List.assocCitation:
Quelque chose comme List.iter ?
Je pense que pour ce genre d'accès un tableau serait mieux, et je me pose la question sur les types Enum.
Néanmoins, comme dit plus haut, les 3/4 de mes manipulations se font au travers de map, map2, foldleft etc, donc j'ai implémenté des listes.
J'essaye de limiter au maximum la récursion à la main, bien que cela soit très tentant...
Alors tu vas être un peu déçu, d'après ce que je peux lire dans la doc déjà mentionnée par bluestorm le module Extlib/Enum :
- n'a pas de fonction map2 ou équivalent
- n'a ni nth ni assoc ou équivalents
- n'est pas une implémentation d'un nouveau TAD mais seulement une interface 'unifiée' pour des TADs déjà existants
Pourquoi ne pas utiliser que des tableaux ? Le module Array propose map et fold_left (et il me semble que map2 est dans extlib (ExtArray), mais sinon tu la recodes).
Ce qui n'est pas naturel pour un tableau c'est de vouloir "retirer" ou "ajouter" des éléments (comme tu le fais pour une liste). map et fold_left ne font aucun des deux : soit tu produis un tableau avec autant d'éléments, soit tu construis quelque chose qui à priori n'est pas un tableau; aucun des deux ne vont donc à l'encontre de la "structure de données array".
Ce qui sera problématique ce sont les filter et consorts. Si tu en as besoin, tu peux convertir en liste localement, puis récupérer un tableau à nouveau, ce qui ne me choque pas.
je peux toujours les coder, ce qui me permettrait de les soumettre aux développeurs de la bibliothèque...Citation:
Envoyé par SpiceGuid
stp, c'est quoi un TAD ?Citation:
Envoyé par SpiceGuid
oui effectivement je n'avais pas vu le problème sous cet angle.Citation:
Envoyé par bluestorm
effectivement, ça ne doit pas prendre plus de 30 min à coder, même pour un lent comme moi ...Citation:
(et il me semble que map2 est dans extlib (ExtArray), mais sinon tu la recodes).
Pour en revenir à ExtNum (et peut-être pour en finir avec lui ?), est-ce que Enum justement ne serait pas la structure qui permettrait de faire des conversions optimisées ? J'implémenterait Enum en général, et lorssque j'ai besoin de liste ou de tableaux, je ferai des conversions, qui sont paresseuses si j'ai bien compris ?Citation:
Ce qui sera problématique ce sont les filter et consorts. Si tu en as besoin, tu peux convertir en liste localement, puis récupérer un tableau à nouveau, ce qui ne me choque pas.