Haskell中带qualified imports的Prelude替代方案及大型代码库解决方法

兄弟，你说的这个痛点我太懂了——几乎每个模块都要敲那三行qualified导入，重复来重复去真的烦死人！虽然Haskell没法直接让自定义Prelude“自动”把这些模块的内容变成全局可用，但大型项目里早就有成熟的解决方案了，给你唠唠最常用的几种：

1. 自定义项目专属Prelude（最推荐，一劳永逸） #

这是大型团队用得最多的方案：自己写一个项目专属的Prelude模块，把Data.Map、Data.Set、Data.Text这些常用库的内容打包导出，其他模块只要导入这个自定义Prelude就行。

比如创建一个MyPrelude.hs（或者按项目命名空间叫Project.Prelude）：

-- MyPrelude.hs
module MyPrelude
  ( -- 先导出默认Prelude的所有内容，避免基础功能缺失
    module Prelude
    -- 导出Map的类型和常用函数
  , Map
  , Map.empty
  , Map.insert
  , Map.lookup
    -- 导出Set的类型和常用函数
  , Set
  , Set.singleton
  , Set.member
    -- 导出Text的类型和常用函数
  , Text
  , Text.pack
  , Text.unpack
  ) where

import Prelude
-- 用qualified导入原模块，再选择性导出需要的内容
import qualified Data.Map as Map
import qualified Data.Set as Set
import qualified Data.Text as Text

然后其他模块只需要这么写：

{-# LANGUAGE NoImplicitPrelude #-}
import MyPrelude

这样就能直接用Map.empty、Set.member、Text.pack这些函数，再也不用写重复的qualified导入了。开启NoImplicitPrelude是为了避免默认Prelude和自定义的冲突，确保所有基础工具都来自你的专属Prelude。

如果你嫌选择性导出太麻烦，也可以直接导出整个模块（虽然可能会轻微污染命名空间，但项目内部统一的话完全没问题）：

module MyPrelude
  ( module Prelude
  , module Data.Map
  , module Data.Set
  , module Data.Text
  ) where

import Prelude
import qualified Data.Map as Map
import qualified Data.Set as Set
import qualified Data.Text as Text

-- 重新导出整个模块的内容
import Data.Map
import Data.Set
import Data.Text

2. 约定统一的短别名 #

如果不想折腾自定义Prelude，很多团队会约定一套全局统一的短别名，比如：

import qualified Data.Map as M
import qualified Data.Set as S
import qualified Data.Text as T

虽然还是要写导入，但别名更短，而且全项目统一风格，大家一看就懂，输入量也少了很多。

3. 利用GHC的语法简化扩展 #

从GHC 8.10开始，支持ImportQualifiedPost扩展，能让导入语法更清爽：

{-# LANGUAGE ImportQualifiedPost #-}
import Data.Map qualified as Map
import Data.Set qualified as Set
import Data.Text qualified as Text

虽然还是要写每一行，但语法结构更整齐，读起来也更舒服，现在不少新项目都在用这个扩展。

4. Template Haskell自动生成导入（小众方案） #

有些极端追求效率的项目会用Template Haskell写一个宏，在每个模块开头自动插入这些常用的qualified导入。不过这个方式会增加项目的学习成本，新手可能不太好理解，所以用的人不多。

总的来说，自定义专属Prelude是大型Haskell项目的最优解——不仅能解决重复导入的问题，还能统一项目的基础工具集，比如你还可以把项目里常用的其他工具函数也加到这个Prelude里，让所有模块都能直接用。像Yesod、Stack这些知名Haskell项目，都有自己的自定义Prelude。

内容的提问来源于stack exchange，提问作者Damian Nadales