Haskell开发者的Scala指南
内容提要
本文介绍了Haskell开发者转向Scala时的主要差异与相似之处，包括Scala的基本语法、函数与方法的区别、类型推断、模式匹配，以及Scala 2与Scala 3的不同。此外，讨论了Scala的函数式编程特性、模块导入、错误处理和常用库。建议开发者熟悉Scala的面向对象特性和变异性，以更好地适应Scala编程环境。
延伸解读
Scala 2 与 Scala 3 的迁移现状
文章指出，2024 年仍有部分项目未升级到 Scala 3，但除非你所在公司恰好如此，否则无需担心 Scala 2。大部分内容同时适用于两者，但 Scala 3 在类型推断、联合类型、枚举等方面有显著改进。开发者应优先学习 Scala 3，但需了解 Scala 2 的差异，例如隐式转换和值类。
函数式编程在 Scala 中的实践差异
Scala 并非纯函数式语言，允许任意位置使用 println，因此建议使用 linter 或编译器选项（如 sbt-tpolecat）来约束副作用。惰性求值方面，lazy val 和 LazyList 是基础，但更复杂的惰性需借助 cats-effect IO、ZIO 或 Eval，并注意栈安全。函数组合和柯里化在实际中不常见，部分应用和元组操作更常用。
类型系统与模式匹配的注意事项
Scala 3 的类型推断已大幅改善，但有时仍需显式标注，例如空集合或联合类型。模式匹配基于 unapply 方法，case class 和枚举自动支持，也可为普通类自定义提取器。相等性方面，Scala 3 禁止 Int 与 Option[Int] 比较，但 case class 间仍可比较，可通过 strictEquality 和 CanEqual 进一步限制。
生态系统选择与工具建议
Scala 的 FP 生态主要分为 Typelevel（cats、cats-effect、fs2、http4s）和 ZIO 两大阵营，分别适合不同风格。错误处理推荐 Option 和 Either，避免 null。构建工具以 sbt 为主，也可尝试 mill 或 Scala CLI。库搜索可借助 Scaladex 和 GitHub，依赖管理可用 scala-steward 保持更新。
Q&A
Haskell开发者转向Scala时需要注意哪些主要差异？
主要差异包括基本语法、函数与方法的区别、类型推断和模式匹配等。
Scala 2和Scala 3之间有什么不同？
Scala 3引入了更好的类型推断和联合类型，但大部分内容在Scala 2和Scala 3中是相似的。
Scala中的函数和方法有什么区别？
函数可以被视为表达式，而方法是类中的常规方法，定义方式也有所不同。
Scala的错误处理机制推荐使用什么？
Scala推荐使用Option和Either进行错误处理，而不是使用null。
Scala的模式匹配功能有什么特点？
Scala的模式匹配功能强大，允许对对象进行解构和匹配，使用灵活。
Scala的标准库提供了哪些重要的集合类型？
Scala的标准库提供了不可变集合，如List、Vector、Map和Set等。
