如何使用限定名称导入Elm联合类型，解决构造器命名冲突

这个构造器重名的问题在Elm里挺常见的，好在Elm的导入机制提供了几种清晰的解决方式，其中限定名称导入就是最直接的方案，下面给你详细拆解：

1. 带完整模块前缀的限定导入 #

你可以直接导入整个模块，不暴露任何构造器，使用的时候通过模块名来限定构造器：

-- Home.elm 中的导入语句
import Data.Job
import Data.Task

之后在代码里使用Finished构造器时，就需要加上模块前缀来明确来源：

-- 引用Data.Job的Finished
let
    jobStatus : Data.Job.JobStatus
    jobStatus = Data.Job.Finished
in
-- ...

-- 引用Data.Task的Finished
let
    taskStatus : Data.Task.TaskStatus
    taskStatus = Data.Task.Finished
in
-- ...

这种方式完全避免了冲突，而且代码可读性极强，谁都能一眼看出构造器属于哪个模块。

2. 自定义模块别名的限定导入 #

如果觉得完整模块名太长写起来麻烦，你可以给模块起个简短的别名，这样既保留了限定特性，又能简化代码：

-- Home.elm 中的导入语句
import Data.Job as Job
import Data.Task as Task

使用的时候就可以用别名来限定：

jobStatus : Job.JobStatus
jobStatus = Job.Finished

taskStatus : Task.TaskStatus
taskStatus = Task.Finished

这种方式在Elm项目里非常常用，平衡了简洁性和可读性，推荐优先考虑。

额外补充：选择性导入并重命名（非限定但解决冲突） #

如果你不想每次都写模块前缀，也可以选择性导入构造器，把重名的Finished分别重命名：

import Data.Job exposing (JobStatus, Finished as JobFinished)
import Data.Task exposing (TaskStatus, Finished as TaskFinished)

这样就能直接使用JobFinished和TaskFinished来区分两者，不需要模块前缀。不过这种方式更适合你只需要用到少数构造器的场景，如果要用到大部分构造器，还是限定导入更高效。

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