• j'ai implanté la quasi totalité des structures de données usuelles 'faciles' en respectant mes principes
• mais dès que je passe à des choses plus sophistiquées je me heurte à une démultiplication des difficultés
En gros j'ai trois obstacles principaux :
1. je n'arrive pas à trouver un catamorphisme qui tolère les arbres à rotations (AVL, Rouges-Noirs, Tas tournois)
2. j'ai déjà un peu joué avec les anamorphismes et les hylomorphismes et j'ai des idées pour réduire l'espace de recherche (par exemple les GADTs, Generalized Abstract Data Types), mais toute idée nouvelle est du travail en plus, du coup plus j'ai des idées plus je prends du retard
3. pour manipuler correctement certaines structures, notamment les graphes, il faut passer par des 'smart constructors', ça me complique encore la tâche
Aka Guymelef il y a plus de 13 ans