Cats 2.13.0发布：函数式编程工具库的重要更新

Cats是一个广受欢迎的Scala函数式编程库，提供了大量实用的类型类、数据结构和函数式编程抽象。作为Scala生态系统中最重要的函数式编程工具之一，Cats帮助开发者以更优雅、更安全的方式编写函数式代码。

版本亮点

Cats 2.13.0是2.x系列的一个二进制兼容版本，支持Scala 2.12、2.13和3.3，同时兼容Scala.js 1.17和Scala Native 0.5。虽然保持了二进制和源代码兼容性，但建议下游项目开始将sequence_和traverse_函数（及其unordered*和par*变体）替换为新的sequenceVoid、traverseVoid等对应函数。

新特性与改进

新增API功能

1. 函数提升工具：新增了FunctionN.liftN和parLiftN方法，为函数提升操作提供了更便捷的方式。

2. 集合操作增强：

   • 为NonEmptyCollection及其所有实现添加了distinctBy方法
   • 为NonEmptyVector添加了Hash和Order类型类实例
   • 为Chain添加了take、takeRight、drop和dropRight方法

3. Either操作扩展：

   • 新增EitherOps#leftMapOrKeep和EitherOps#leftFlatMapOrKeep方法，为Either类型的左值处理提供了更多选择

4. 递归支持：

   • 添加了Defer.recursiveFn来辅助递归操作

5. 折叠操作增强：

   • 新增unorderedFoldMapA方法
   • 添加了traverseVoid/sequenceVoid及其变体的别名，为未来的API演进做准备

6. 类型系统改进：

   • 使Later类型变为协变，提高了类型系统的灵活性

性能优化

1. 为Chain重写了Foldable#toIterable方法，提高了转换效率
2. 优化了Chain.traverseVoid的实现，提升了性能

问题修复

1. 修复了alleycats中Set Functor的隐式歧义问题
2. 解决了alleycats中Extract[F[_]]语法获取方式的兼容性问题

文档与内部改进

1. 文档方面进行了多处修正和改进，包括：

   • 修复了内部链接和文档错误
   • 更新了示例代码中的导入语句
   • 修正了foldLeft的签名描述

2. 构建系统升级：

   • 更新了sbt到1.10.x系列最新版本
   • 升级了Scala Native到0.5.x系列
   • 将GraalVM从17升级到21

3. 代码生成优化：

   • 在生成的代码中使用辅助函数，提高了代码质量

向后兼容性说明

虽然2.13.0版本保持了二进制兼容性，但开发团队建议用户开始迁移以下API：

• 将sequence_替换为sequenceVoid
• 将traverse_替换为traverseVoid
• 相应的unordered*和par*变体也应进行类似替换

这种变化是为了未来的API演进做准备，虽然当前版本仍然支持旧方法，但迁移到新API将使代码更面向未来。

总结

Cats 2.13.0在保持稳定性的同时，通过新增API和性能优化进一步丰富了函数式编程工具集。特别是对集合操作和Either处理的增强，使得开发者能够以更简洁、更高效的方式表达函数式逻辑。对于现有用户来说，这是一个值得升级的版本，特别是考虑到它对未来API演进的准备。新用户也可以从这个版本开始，享受更完善的函数式编程体验。

随着函数式编程在Scala生态系统中的持续发展，Cats库的每一次更新都为开发者提供了更强大的工具，帮助构建更健壮、更易维护的应用程序。2.13.0版本的发布再次证明了这一点。