|
| 1 | ++++ |
| 2 | +title = "Google Summer of Code 2025 Wrap-up" |
| 3 | +date = 2025-11-24 |
| 4 | +[taxonomies] |
| 5 | +authors = ["Aaron Allen"] |
| 6 | +categories = ["Haskell.org"] |
| 7 | +tags = ["Summer of Code", "Announcement", "GSoC"] |
| 8 | ++++ |
| 9 | + |
| 10 | +The Haskell.org committee is pleased to present the results of Haskell's |
| 11 | +participation in the Google Summer of Code 2025. This marks our 14th time |
| 12 | +taking part in GSoC! |
| 13 | + |
| 14 | +<!-- more --> |
| 15 | + |
| 16 | +<a href="https://summerofcode.withgoogle.com/"> |
| 17 | +<img src="gsoc-logo.svg" alt="GSoC 2025" width=600px> |
| 18 | +</a> |
| 19 | + |
| 20 | +Of the four projects alloted to our organization, three were successfully |
| 21 | +completed: |
| 22 | + |
| 23 | +- [Implement Signature Help for Haskell Language Server](#implement-signature-help-for-haskell-language-server) |
| 24 | +- [Qualified Imports and Alias Resolution in Liquid Haskell](#qualified-imports-and-alias-resolution-in-liquid-haskell) |
| 25 | +- [Documenting and Improving CMM](#documenting-and-improving-cmm) |
| 26 | + |
| 27 | +<br> |
| 28 | + |
| 29 | +**Congratulations to all the contributors and a huge thank you to our wonderful mentors!** |
| 30 | + |
| 31 | +<br> |
| 32 | +<br> |
| 33 | + |
| 34 | +--- |
| 35 | + |
| 36 | +<br> |
| 37 | + |
| 38 | +## Implement Signature Help for Haskell Language Server |
| 39 | + |
| 40 | +- Contributor: Jian Lin |
| 41 | +- Mentors: Michael Peyton Jones and Fendor |
| 42 | + |
| 43 | +This project implemented the "signature help" feature of LSP for the [Haskell Language Server (HLS)](https://haskell-language-server.readthedocs.io/en/stable/). |
| 44 | +This allows users to view function signatures and documentation when the cursor |
| 45 | +is inside a function application. It can also highlight the part of the |
| 46 | +signature related to the parameter at the current cursor location. |
| 47 | + |
| 48 | +*[Read more in the final code submission](https://github.com/haskell/haskell-language-server/pull/4626).* |
| 49 | + |
| 50 | +<br> |
| 51 | + |
| 52 | +--- |
| 53 | + |
| 54 | +<br> |
| 55 | + |
| 56 | +## Qualified Imports and Alias Resolution in Liquid Haskell |
| 57 | + |
| 58 | +- Contributor: Xavier Góngora |
| 59 | +- Mentor: Facundo Domínguez |
| 60 | + |
| 61 | +This project introduced an enhancement to [Liquid Haskell](https://ucsd-progsys.github.io/liquidhaskell/) |
| 62 | +to improve name resolution by enabling qualified imports for both (logic) type |
| 63 | +and predicate aliases. By using qualifiers, users are able to disambiguate |
| 64 | +between identical aliases which would previously result in confusing error |
| 65 | +messages. |
| 66 | + |
| 67 | +*[Read more in the project results write-up](https://gist.github.com/ninioArtillero/9658ebd4b806bb82ab3494457897e23e).* |
| 68 | + |
| 69 | +<br> |
| 70 | + |
| 71 | +--- |
| 72 | + |
| 73 | +<br> |
| 74 | + |
| 75 | +## Documenting and Improving Cmm |
| 76 | + |
| 77 | +- Contributor: Diego Antonio Rosario Palomino |
| 78 | +- Mentor: Csaba Hruska |
| 79 | + |
| 80 | +The goal of this project was to improve documentation and tooling around Cmm, |
| 81 | +which is an internal representation used by GHC as part of the compilation |
| 82 | +pipeline. In addition to producing documentation, Diego created a GHC compiler |
| 83 | +plugin that can serialize and deserialize Cmm expressions using a JSON representation. |
| 84 | + |
| 85 | +*[Read more in the final code submission](https://github.com/GunpowderGuy/cmm-documentation).* |
0 commit comments