Haskell函数非穷尽模式匹配问题：x1为何无法匹配函数f的模式？

Haskell的模式匹配遵循静态类型校验+运行时值匹配的逻辑，x1无法匹配函数f的对应模式，通常是以下几种情况导致：

• 模式覆盖不全
  f的定义只覆盖了目标类型的部分构造子场景，没有覆盖x1实际值对应的构造子。比如你定义的f只写了Just分支没有写Nothing分支，而x1刚好是Nothing，运行时就会抛出非穷尽匹配异常。
  你可以在编译时开启-Wincomplete-patterns参数，提前在编译阶段发现这类未覆盖所有模式的问题，不用等到运行时触发异常。
• 构造子/字面量不匹配
  如果你写的模式是固定构造子或者字面量，需要x1的实际值和模式完全一致才能匹配成功。比如f的模式是f (User uid _) = uid，而x1实际是Admin "root"，二者构造子不同自然匹配失败；如果模式是字面量f 0 = "zero"，x1值为1也会匹配失败。
• 模式守卫不满足
  如果你的模式后加了守卫条件，就算值的构造子匹配，守卫条件不满足也不会进入该分支。比如f x | x > 10 = x，x1值为5的话会跳过该分支，要是没有其他兜底分支就会触发匹配失败。

典型错误示例：

data UserType = Normal Int | Admin String

-- 仅覆盖了Normal构造子的分支
getUid :: UserType -> Int
getUid (Normal uid) = uid

x1 :: UserType
x1 = Admin "system"

-- 运行时调用getUid x1会直接抛出模式匹配异常
main = print $ getUid x1

1. 打印x1的运行时实际值，确认其构造子、取值和你写的模式是否一致
2. 检查f的所有分支是否覆盖了x1所属类型的所有构造子，补全缺失的分支或者添加兜底分支
3. 确认模式后附加的守卫条件是否能被x1的取值满足

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