J'ai mal à la tête
Par Arthur Milchior le dimanche 21 juin 2009, 01:40 - Informatique - Lien permanent
J'ai songé à une petite amélioration de l'algorithme de l'article dont je parlais l'autre jour. Je pense que rien qu'à lire ce qui va suivre, tu vas comprendre que j'ai mal à la tête là.
J'utilise une table de hashage a pointeur faible prenant des structures de E-graph basé sur un union-find et rendant des tables de hachages qui prennent un couple composé d'un symbole et d'un ground-terme (terme sans variable) et qui rend une table de hachage servant d'ensemble de patterns(ou triggers).
Derrière tout ça, j'utilise du hashconsing, pour faciliter un peu le tout et et gagner en espace.
Si tu as suivies, je te félicite, moi je suis déjà perdu, et je rien qu'à comprendre la structure de donnée que je devais utiliser, j'ai pris deux heures. Et là j'ai le cerveau qui fond et j'ai peur de ce que ça va donner quand je passerai vraiment à programmer ça. Ça va être atroce.
Fort heureusement, j'ai un bon langage, et vive objective Caml