ghci: zachowaj zdefiniowane wartości w zakresie po przeładowaniu modułu

Question

Zastanawiam się, czy możliwe jest zachowanie przypisanych wartości w ghci po przeładowaniu modułu?

Na przykład przypisać wartość w ghci:

ghci> let x = 1 

lub

ghci> x <- getLine 

Po wprowadzeniu :r aby odświeżyć istniejący moduł x nie jest już w zasięgu. Czy generalnie możliwe jest utrzymanie przydziału, jak na przykład w tłumaczu Pythona? (to jest naprawdę wygodne ...)

Nawet jeśli faktycznie każda linia w ghci reprezentuje funkcję, która jest (monadycznie) związana do następnej wciąż zastanawiam się, czy utrzymywanie tego stanu jest możliwe.

Answer 1

Nie jestem świadomy żadnego sposobu na zrobienie tego.

Problem polega na tym, że można mieć zmienną związaną z wartością określonego typu, edytować źródło w celu usunięcia tego typu i nacisnąć przeładowanie. Teraz masz zmienną typu, który już nie istnieje.

Nadal można by pomyśleć, że nie powinno to być zbyt trudne do wykrycia, i odrzucić tylko zmienne, które nie mają już sensu. (Naprawdę fajna część jest prawdopodobnie wtedy, gdy typ nadal istnieje, ale ma teraz inną liczbę pól, lub coś takiego ...)