haskell - XNoImplicitPrelude 的目的是什么？

Question

Ghci 对酸的定义见 .gchi

:set -XNoImplicitPrelude

这样做的潜在好处/原因是什么？

Answer 1

没有其他方法可以完全避免导入 Prelude。即使是看似有效的

import Prelude ()

这是一个显式导入(因此覆盖了隐式导入)并且没有定义名称，但仍然将一堆类实例放入可能不需要的范围内。

当您想尝试替代前奏曲时，完全避免使用标准前奏曲非常有用；或者当您想使用其他 GHC 扩展重载语法时；或在其他利基情况下。如果您计划使用许多恰好与前奏中的函数名称相同的函数，并且希望避免在任何地方限定它们(尽管较小的 import Prelude () 在许多这样的情况下就足够了)。