Was bedeutet die GHC-Quelle von "zonk"?

Question

Ich arbeite an einem Plugin für GHC, deshalb lese ich die Dokumentation für einige seiner Implementierung.

Das Verb "to zonk" ist überall zu finden, aber ich kann keine Erklärung finden, was es bedeutet, etwas zu zonkieren oder (ganz allgemein), wenn man möchte. Ich kann viele Notizen über komplizierte Umstände finden, unter denen es notwendig ist, etwas zu zonkieren oder nicht zu zonkieren, aber ohne eine Ahnung, was das große Ganze ist, habe ich eine Menge Probleme dabei zu folgen.

Answer 1

Ein un-zonked-Typ kann Typvariablen haben, die veränderbare Referenzen sind, die während der Vereinheitlichung ausgefüllt werden (und diese Mutabilität wird vom Typüberprüfer zur Leistungssteigerung stark genutzt). Zonking durchquert einen Typ und ersetzt alle veränderbaren Referenzen durch den Typ, auf den sie dereferenziert sind; Daher ist die resultierende Struktur unveränderlich und erfordert keine Dereferenzierung für die Interpretation.

Beachten Sie, dass diese Typvariablen meta -Variablen sind, d. H. Sie entsprechen nicht den Typvariablen, die durch Polymorphie eingeführt werden; Vielmehr sind sie Vereinheitlichungsvariablen, die durch reale Typen ersetzt werden. Die Wahl des Ersatzes wird durch den Typprüfungstyp-Typ-Rückschlußprozeß entschieden, und dann wird der tatsächliche Austausch während des Zonkens durchgeführt.

Dieser Begriff von Zonking erstreckt sich natürlich auf andere Zwischendarstellungen des Typcheckers, die Typen enthalten.