如何从联合类型解开泛型类型别名，使类型别名更具体？

Question

我有Model类型，它描述了泛型类型别名ModelFields两种可能状态。 我想从Model类型的实例中提取通用ModelFields记录。

type Model endValue stats
  = ShowEndValues (ModelFields Organism endValue)
  | ShowStatistics (ModelFields Rank stats)

type alias ModelFields object results =
  { results : List results
  , objects : List object
  , cellValue : results -> String
  , location : Maybe (Rank, Rank)
  }

getModelFields : Model endValue stats -> ModelFields object results
getModelFields model =
  case model of
    ShowEndValues modelFields ->
      modelFields 
    ShowStatistics modelFields ->
      modelFields

但是 Elm 不允许它对每个 case 表达式说

TYPE MISMATCH - Something is off with the 1st branch of this `case` expression:

55|       modelFields 
          #^^^^^^^^^^^#
This `modelFields` value is a:

    ModelFields #Organism# #endValue#

But the type annotation on `getModelFields` says it should be:

    ModelFields #object# #results#

#Hint#: Your type annotation uses type variable `object` which means ANY type of
value can flow through, but your code is saying it specifically wants a
`Organism` value. Maybe change your type annotation to be more specific? Maybe
change the code to be more general?

所以我的问题是：如何从Model获取ModelFields ？ 还是我在做一些根本有缺陷的事情？

更新。 我正在尝试建模的详细信息。

我有类型为Organism对象。 它们被分组到Rank 。 我的服务器对Organism进行了一些成对分析，ig 计算了两个Organism之间的Similarity和Distance 。 我想在不同页面上的两个表格中显示这些分析的结果，一页用于Similarity分析，一页用于Distance分析。 这意味着该表应可重复使用以接受任何形式的分析结果。 另一方面，这些表有一个共同的模式。 它们可以处于两种状态：

1. 显示Organism之间成对比较的具体结果（ Model endValue ），因此表格的行和列代表Organism 。
2. 显示Organism的组（ Rank ）之间的统计值（例如平均值或标准偏差， Model stats ），在这种情况下，表格的行和列代表Rank 。

显示哪个Rank或Organism取决于ModelFields location字段。 用户可以单击一个按钮，我想更改update功能中的location 。 此导航更改可能会在ShowEndValues和ShowStatistics状态之间切换。 这就是为什么我试图从Model构造函数中解开ModelFields 。 我附上了一个简单的插图，希望它有助于澄清。

Answer 1

这确实是不可能的。

getModelFields函数中的model值的类型为Model endValue stats 。 这意味着，它要么是ShowEndValues变型中，包含类型的值ModelFields Organism endValue ，或ShowStatistics变体包含一个值输入ModelFields Rank stats 。 case表达式的每个分支解包一个变体并输出modelFields值。

现在，让我们尝试确定case表达式的类型。 我们查看每个分支返回的类型，并尝试找到包含这两种类型的类型（统一它们）。 乍一看，它看起来很有希望：两个值都采用ModelFields ab的形式，因此我们将递归地尝试统一每个子类型。 在这里，我们遇到了一个问题- a第一类型的类型有Organism ，而第二个是Rank 。 没有同时是Organism和Rank类型，因此编译失败。

注意：从错误信息中可以看出，Elm 实际上是尝试将分支的类型与函数结果类型统一起来。 （我描述了另一个方向，因为我认为它更容易理解。） Elm 遵循的方向也失败了，因为它会递归并尝试将具体的Organism类型与通用的object类型统一起来，类似于我们如何尝试将两个具体的object类型统一起来。类型。