Che cosa significa la sorgente GHC per "zonk"?

Question

Sto lavorando a un plug-in per GHC, quindi sto leggendo la documentazione per alcune delle sue implementazioni.

Il verbo "to zonk" è dappertutto, ma non riesco a rintracciare una spiegazione di cosa significa zonk qualcosa o (in termini generali) quando si potrebbe desiderare. Riesco a trovare un sacco di note su circostanze complicate in base alle quali è necessario zonk o meno per zonk qualcosa, ma senza la minima idea di quale sia il quadro generale sto avendo molti problemi a seguire.

Answer 1

Un tipo non zonato può avere variabili di tipo che sono i riferimenti mutabili riempiti durante l'unificazione (e questa mutabilità è fortemente utilizzata dal correttore di tipi per aumentare le prestazioni). Zonking attraversa un tipo e sostituisce tutti i riferimenti mutabili con il tipo a cui si dissocia; quindi, la struttura risultante è immutabile e non richiede alcun dereferenziamento da interpretare.

Si noti che queste variabili di tipo sono meta -variabili, cioè non corrispondono alle variabili di tipo introdotte dal polimorfismo; piuttosto, sono variabili di unificazione da sostituire con tipi reali. La scelta della sostituzione viene decisa dal tipo di verifica/tipo di processo di inferenza e quindi la sostituzione effettiva viene eseguita durante la zonking.

Questa nozione di zonking si estende naturalmente ad altre rappresentazioni intermedie del typechecker che contengono tipi.