Discussion :

[james-mi]

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 !

[gasche]

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à.

[james-mi]

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é.

[SpiceGuid]

C'est passionnément inintéressant.

Ceci étant, je ne suis pas sûr d'avoir bien compris... tu aurais un petit exemple sous la main ?

En gros, si j'ai bien lu bluestorm, ça fait une alpha conversion, en OCaml on le ferait avec un let:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

let module Enum = DynArray in ... Enum.filter ...

[gasche]

Euh, non. C'est des fonctions de conversion, comme Array.of_list / Array.to_list.

Code ocaml :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
let ton_enum = Dynarray.enum ton_dinarray in
Enum.filter_map ... ton_enum (* par exemple *)

james-ml : tu peux lire la doc

[james-mi]

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 ?).

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 ?

C'est passionnément inintéressant.