ghci:在模块重新加载后,将定义的值保留在范围内

我想知道在模块重新加载时是否可以保留ghci中的赋值?

例如,我用ghci赋值:

ghci> let x = 1

要么

ghci> x <- getLine

输入后:r重新加载现有模块x不在范围内。 通常可以保留赋值,例如在Python解释器中? (这真的很方便...)

即使实际上ghci中的每一行代表一个函数(单调地)绑定到下一个函数,我仍然想知道是否可以保持这个状态。


我不知道有这样做的任何方式。

麻烦的是,你可能有一些绑定到特定类型的值的变量,编辑源以删除该类型,然后点击重新加载。 现在你有一个不再存在的类型的变量。

尽管如此,你会认为它不应该太难检测,并且只丢弃那些没有意义的变量。 (真正有趣的部分大概是当一个类型仍然存在,但现在有不同数量的字段,或类似的东西......)

链接地址: http://www.djcxy.com/p/64981.html

上一篇: ghci: keep defined values in scope after module reload

下一篇: Read/Write files in C