Google 编程之夏 2026 总结

2026年8月30日 [] # # #

Haskell.org 委员会很高兴公布 Haskell 参与 2026 年 Google Summer of Code 的成果。这是我们要第十五次参加 GSoC！

我们组织共有四个项目名额，其中三个顺利完成：

• Haskell Language Server 的 Case Split 插件
• 恢复 Liquid Haskell 中的类型类细化支持
• 跳转到依赖定义

恭喜所有贡献者，并向我们优秀的导师团队致以衷心感谢！

---

Case Split 插件 for Haskell Language Server

• 贡献者：Enrico Maria De Angelis
• 导师：Fendor、MangoIV、Andreas Klebinger

本项目为 Haskell Language Server（HLS） 开发了一个插件，实现了 case 拆分功能，为用户提供代码动作，自动补全 case 语句中缺失的模式匹配。

详见最终提交代码.

---

恢复 Liquid Haskell 中的类型类细化支持

• 贡献者：Juan Pablo Yamamoto
• 导师：Facundo Domínguez

本项目恢复了 Liquid Haskell 中的类型类细化（elaboration）支持，从而能够验证类型类定律和实例，例如证明 Monoid 实例满足同一律和结合律。

详见项目结果报告.

---

跳转到依赖定义

• 贡献者：Vidit Odedra
• 导师：Fendor、Zubin Duggal

这个项目的目标是扩展 Haskell Language Server (HLS) 的跳转到定义（goto definition）功能，使其支持外部依赖。虽然实现该功能的 pull request 仍在审核中，但这个呼声很高的功能已经打下了基础。

详情见最终代码提交。