ghci: mantenere i valori definiti nell'ambito dopo il modulo ricarica

Question

Mi chiedo se è possibile mantenere i valori assegnati in ghci quando un modulo viene ricaricato?

Ad esempio assegno un valore in ghci:

ghci> let x = 1 

o

ghci> x <- getLine 

Dopo aver inserito :r per ricaricare un modulo esistente x non è nell'ambito più. È generalmente possibile mantenere il compito disponibile, come ad esempio nell'interprete Python? (questo è veramente conveniente ...)

Anche se in realtà ogni riga in ghci rappresenta una funzione che è (monadicamente) associata a alla successiva, mi chiedo ancora se mantenere tale stato è possibile.

Answer 1

Non sono a conoscenza di alcun modo per farlo.

Il problema è che potresti avere una variabile legata a un valore di un certo tipo, modificare l'origine per rimuovere quel tipo e premere ricarica. Ora hai una variabile di un tipo che non esiste più.

Ancora, si potrebbe pensare che non dovrebbe essere troppo difficile rilevarlo e scartare solo le variabili che non hanno più senso. (La parte davvero divertente è presumibilmente quando un tipo esiste ancora ma ha un diverso numero di campi ora, o qualcosa del genere ...)