scala - 模式匹配和类型系统有什么关系？

Question

在 scala 和其他一些语言(Haskell、SML)中，我们可以使用模式匹配，例如:

val user: Option[User] = findUser(123)
user match {
    case Some(u) => ...
    case _ => ...
}

我对模式匹配和类型系统的关系有一些疑问:

“静态类型系统”是否必须支持模式匹配？

是否有任何“动态类型系统”语言支持模式匹配？

更新:

感谢@Eran 的回答。

我知道有很多语言不支持模式匹配，比如 c/c++/java/python/ruby/javascript/lisp(我可以在这个列表中添加“bash”吗？)

如果我们想给它们添加“模式匹配”，理论上有哪些语言可以添加呢？什么语言无论如何都做不到呢？

Answer 1

我假设您的意思是一般值的模式匹配。几乎任何语言的库函数都支持字符串模式匹配(正则表达式)的特殊情况。

模式匹配和类型检查策略是独立的语言“特性”。
模式匹配是将值与模式进行匹配，然后将成功的匹配绑定(bind)到变量的过程。
如果分别在编译时或运行时强制执行类型检查，则类型系统是静态的或动态的。

一种语言可以具有这两个特征的四种组合中的任何一种，例如:

C/C++/Java 是不支持模式匹配的静态类型语言。

Haskell/Scala 是支持模式匹配的静态类型语言。

Icon 是一种支持模式匹配的动态类型语言。

JavaScript 是一种不支持模式匹配的动态类型语言。

切线地，我发现模式匹配实际上可以用作计算的基础非常有趣。如果这激起了您的好奇心，您可以搜索 Barry Jay 的关于模式微积分的工作。