为什么我只需要旧 GHC 的 Data.Monoid.(<>)？

Question

在 GHC 8.4 之前的我的 Haskell package builds 中，我需要

import Data.Monoid ((<>))

致avoid

• Variable not in scope:
    (<>)

从 GHC 8.4 开始，我没有收到排除此导入的错误。

这是为什么？ (<>) 是否已在其他地方实施？为以后的 GHC 做这个导入会有什么后果，在哪里是不必要的？可以有条件地只为较旧的 GHC 导入这个吗？

Answer 1

这是为什么？

因为Semigroup Monoid Proposal

(<>) 是否已在其他地方实现？

是的，它在 GHC.Base: 中定义：

[nix-shell:~]$ ghci
GHCi, version 8.4.3: http://www.haskell.org/ghc/  :? for help
Prelude> :t (<>)
(<>) :: Semigroup a => a -> a -> a
Prelude> :info (<>)
class Semigroup a where
  (<>) :: a -> a -> a
  ...
        -- Defined in ‘GHC.Base’
infixr 6 <>
Prelude>

为以后的 GHC 做这个导入会有什么后果，在哪里是不必要的？

到目前为止，还没有，因为 Data.Monoid 重新导出 (<>)。如果我正确阅读了该提案，则没有取消该再出口的计划。

是否可以有条件地仅对较旧的 GHC 进行此导入？

是的，通过 CPP 看到这里 conditional exclude it 感谢 orome。

由于Semigroup 在提案的第 2b 阶段成为Monoid 的超类，并且在 GHC 8.4 中完成，您可以检查 base 的版本是否大于 4.11.0.0，您可以查找 @987654323 @。