From 9de3b45369cf40025fd619f22953705a56095574 Mon Sep 17 00:00:00 2001 From: Aaron Allen Date: Mon, 24 Nov 2025 22:45:36 -0600 Subject: [PATCH] GSoC 2025 wrap-up post Adds a post summarizing the results of Haskell's involvement in GSoC 2025. --- content/gsoc-2025/gsoc-logo.svg | 41 ++++++++++++++++ content/gsoc-2025/index.md | 85 +++++++++++++++++++++++++++++++++ 2 files changed, 126 insertions(+) create mode 100644 content/gsoc-2025/gsoc-logo.svg create mode 100644 content/gsoc-2025/index.md diff --git a/content/gsoc-2025/gsoc-logo.svg b/content/gsoc-2025/gsoc-logo.svg new file mode 100644 index 0000000..d8bc8cd --- /dev/null +++ b/content/gsoc-2025/gsoc-logo.svg @@ -0,0 +1,41 @@ + + + + logo_lockup_summer_of_code_horizontal_Roboto + Created with Sketch. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/content/gsoc-2025/index.md b/content/gsoc-2025/index.md new file mode 100644 index 0000000..0b94d09 --- /dev/null +++ b/content/gsoc-2025/index.md @@ -0,0 +1,85 @@ ++++ +title = "Google Summer of Code 2025 Wrap-up" +date = 2025-11-24 +[taxonomies] +authors = ["Aaron Allen"] +categories = ["Haskell.org"] +tags = ["Summer of Code", "Announcement", "GSoC"] ++++ + +The Haskell.org committee is pleased to present the results of Haskell's +participation in the Google Summer of Code 2025. This marks our 14th time +taking part in GSoC! + + + + +GSoC 2025 + + +Of the four projects alloted to our organization, three were successfully +completed: + +- [Implement Signature Help for Haskell Language Server](#implement-signature-help-for-haskell-language-server) +- [Qualified Imports and Alias Resolution in Liquid Haskell](#qualified-imports-and-alias-resolution-in-liquid-haskell) +- [Documenting and Improving CMM](#documenting-and-improving-cmm) + +
+ +**Congratulations to all the contributors and a huge thank you to our wonderful mentors!** + +
+
+ +--- + +
+ +## Implement Signature Help for Haskell Language Server + +- Contributor: Jian Lin +- Mentors: Michael Peyton Jones and Fendor + +This project implemented the "signature help" feature of LSP for the [Haskell Language Server (HLS)](https://haskell-language-server.readthedocs.io/en/stable/). +This allows users to view function signatures and documentation when the cursor +is inside a function application. It can also highlight the part of the +signature related to the parameter at the current cursor location. + +*[Read more in the final code submission](https://github.com/haskell/haskell-language-server/pull/4626).* + +
+ +--- + +
+ +## Qualified Imports and Alias Resolution in Liquid Haskell + +- Contributor: Xavier Góngora +- Mentor: Facundo Domínguez + +This project introduced an enhancement to [Liquid Haskell](https://ucsd-progsys.github.io/liquidhaskell/) +to improve name resolution by enabling qualified imports for both (logic) type +and predicate aliases. By using qualifiers, users are able to disambiguate +between identical aliases which would previously result in confusing error +messages. + +*[Read more in the project results write-up](https://gist.github.com/ninioArtillero/9658ebd4b806bb82ab3494457897e23e).* + +
+ +--- + +
+ +## Documenting and Improving Cmm + +- Contributor: Diego Antonio Rosario Palomino +- Mentor: Csaba Hruska + +The goal of this project was to improve documentation and tooling around Cmm, +which is an internal representation used by GHC as part of the compilation +pipeline. In addition to producing documentation, Diego created a GHC compiler +plugin that can serialize and deserialize Cmm expressions using a JSON representation. + +*[Read more in the final code submission](https://github.com/GunpowderGuy/cmm-documentation).*