Haskell GHC：与 N 个构造函数匹配的模式的时间复杂度是多少？

Question

假设我们有以下 Haskell：

data T = T0 | T1 | T2 | ... | TN

toInt :: T -> Int
toInt t = case t of
  T0 -> 0
  T1 -> 1
  T2 -> 2
  ...
  TN -> N

这里使用什么算法来执行模式匹配？我看到两个选项：

(1) 线性搜索，类似

if      (t.tag == T0) { ... }
else if (t.tag == T1) { ... }
else ...

(2) 二分搜索，这在这个特定任务中是明智的：在集合 {TO...T1023} 中搜索t.tag。但是，如果模式匹配通常具有许多其他功能和泛化，则可能不会使用它。

用 GHC 编译，使用什么算法，时间复杂度是多少，以 N 表示，在 t 上进行模式匹配 toInt？

Answer 1

使用跳转表，使模式匹配成为一个恒定时间操作。

不幸的是，我无法找到最新的引用，尽管this page 提到了 Cmm 级 switch 语句作为跳转表的实现，并且 this old tagging design document 在 a 上使用了 case以Bool为例，生成跳转表。