(Après avoir regardé un peu plus en détail, d'une part il vaudrait mieux utiliser des petits entiers que des symboles dans ma proposition ci-dessus, donc '(0 leaf-value) et '(1 left right), et d'autre part Chicken Scheme a une notion de tagged pointer qui serait sans doute un meilleur choix ici, où l'information de tag pour les constructeurs non-constants serait stockée avec le pointeur plutôt qu'avec la valeur, même si ça reste une représentation nettement moins compacte—Haskell stocke le constructeur dans le pointeur parfois, mais de façon plus compacte.)
[^] # Re: Représentations intermédiaires du compilateur OCaml
Posté par gasche . En réponse au journal Malfunction: réutiliser la représentation intermédiaire du compilateur OCaml. Évalué à 2.
(Après avoir regardé un peu plus en détail, d'une part il vaudrait mieux utiliser des petits entiers que des symboles dans ma proposition ci-dessus, donc
'(0 leaf-value)et'(1 left right), et d'autre part Chicken Scheme a une notion de tagged pointer qui serait sans doute un meilleur choix ici, où l'information de tag pour les constructeurs non-constants serait stockée avec le pointeur plutôt qu'avec la valeur, même si ça reste une représentation nettement moins compacte—Haskell stocke le constructeur dans le pointeur parfois, mais de façon plus compacte.)