Haskell：在 WinGHCi 中卸载模块

我加载了两个模块（NecessaryModule1.hs 和 NecessaryModule2.hs 中的链接）Haskell：加载当前目录路径中的所有文件 https://stackoverflow.com/questions/10268692/haskell-loading-all-files-in-current-directory-path）。现在我想卸载NecessaryModule2.hs。我发现了一个“卸载”功能系统.插件.加载 http://hackage.haskell.org/packages/archive/plugins/1.5.1.4/doc/html/System-Plugins-Load.html但是它在 WinGHCi 中不起作用。我收到的错误消息是：

>unload NecessaryModule2

<interactive>:1:1: Not in scope: `unload'

<interactive>:1:8:
    Not in scope: data constructor `NecessaryModule2'

I tried

import System.Plugins.Load

但这没有用。有没有办法以上述方式卸载模块？

-------------------------------------------------- ------------------------------------------------

[对里卡多的回应]

你好，Riccardo，我尝试了你的建议，但无法让它在 WinGHCi 中工作。我有一个文件 NecessaryModule1.hs 如下：

module NecessaryModule1 where

addNumber1 :: Int -> Int -> Int
addNumber1 a b = a + b

我通过 ':cd' 命令转到文件的位置，然后执行以下操作：

> :module +NecessaryModule1

<no location info>:
    Could not find module `NecessaryModule1':
      it is not a module in the current program, or in any known package.

它是否正确？谢谢[编辑：请参阅下面的更正]

-------------------------------------------------- ------------------------------------------------

[以上更正]

只是为了解释为什么上面是不正确的（正如 Riccardo 所解释的），需要做的事情如下：

如果我们有一个文件Necessary Module1.js，如下所示：

--NecessaryModule1.hs
module NecessaryModule1 where

addNumber1 :: Int -> Int -> Int
addNumber1 a b = a + b

然后我们做：

> :load NecessaryModule1
[1 of 1] Compiling NecessaryModule1 ( NecessaryModule1.hs, interpreted )
Ok, modules loaded: NecessaryModule1.
> addNumber1 4 5
9
> :module -NecessaryModule1
> addNumber1 4 5

<interactive>:1:1: Not in scope: `addNumber1'

安装的模块

您必须使用 ghci 的命令才能加载（:module +My.Module）并卸载（:module -My.Module）安装的模块。您还可以使用:m代替:module为了少写一点，像这样：

Prelude> :m +Data.List
Prelude Data.List> sort [3,1,2]
[1,2,3]
Prelude Data.List> :m -Data.List
Prelude> sort [3,1,2]

<interactive>:1:1: Not in scope: `sort'

请记住，ghci 提示符始终会提醒您当前导入的模块：您可以查看该提示以了解要卸载的内容:m -Module.To.Unload.

具体文件

如果您尝试加载的模块未安装在系统中（例如，您编写了源代码并将文件保存在某处），则需要使用不同的命令，:load filename.hs。更快的方法是将文件的路径直接作为命令行参数传递给ghci, e.g ghci filename.hs。如果你跑winghci并且您将其关联到.hs扩展名，只需双击该文件即可。

在这两种情况下，您都会收到 ghci 提示，其中指定的模块已正确加载并导入到范围内（前提是您没有出现编译错误）。和以前一样，您现在可以使用:m [+/-] My.Module加载和卸载模块，但请注意，这与:load因为:module假设你已经:load编辑您想要进入/超出范围的内容。

例如，如果你有test.hs

module MyModule where
import Data.List

f x = sort x

您可以通过双击它来加载它（在带有 winghci 的 Windows 上），输入ghci test.hs在控制台中，或通过加载ghci并打字:load test.hs（注意相对/绝对路径）。

另一个有用的 ghci 命令是:reload，这将重新编译您之前加载的模块。当您更改源文件并且想要快速更新 ghci 中加载的模块时使用它。

Prelude> :load test.hs
[1 of 1] Compiling MyModule         ( test.hs, interpreted )
Ok, modules loaded: MyModule.
*MyModule> let xs = [1,2,3] in sort xs == f xs
True
*MyModule> :reload
Ok, modules loaded: MyModule.

:help将为您提供所有可用命令的完整列表。