haskell - GHC 导入功能或错误

Question

我发现以下代码被 GHC 接受:

import Prelude hiding (filter)
import qualified Prelude as P

这两个导入的想法是让所有 Prelude 功能照常可用，但需要 filter合格为P.filter .

我从来没有在任何地方看到过类似的例子，因此我的问题是:这是 GHC 中的一个特性还是一个错误？

谢谢

Answer 1

这是一个功能，例如，如果您在 Github 中搜索，您会看到它在野外被大量使用。

一个广泛使用的习语是这样的:

import Data.Text (Text)
import qualified Data.Text as T

这样您就不必获得资格 Text在你的类型中，你没有得到与 Prelude 冲突的函数函数(如 Data.Text.filter 、 Data.Text.zip 等)。