Que signifie la source GHC par "zonk"?

Question

Je travaille sur un plugin pour GHC, donc je lis la documentation pour une partie de son implémentation.

Le verbe "zonk" est partout, mais je ne peux pas trouver une explication de ce que signifie zonk quelque chose ou (en termes généraux) quand on pourrait vouloir. Je peux trouver beaucoup de notes sur des circonstances complexes dans lesquelles il est nécessaire de zoner ou de ne pas zoner quelque chose, mais sans avoir la moindre idée de la situation dans son ensemble, j'ai beaucoup de mal à suivre.

Answer 1

Des nations unies zonked type de type de variables qui sont mutables références rempli lors de l'unification (et cette mutabilité est fortement utilisée par le vérificateur de types pour augmenter les performances). Zonking traverse un type et remplace toutes les mutable références avec le type qu'ils déréférencement d'; ainsi, la structure qui en résulte est immuable et ne nécessite aucune déférence à interpréter.

Cette notion de zonking s'étend naturellement à d'autres représentations intermédiaires de la typechecker qui contiennent des types.