GSoC 2024 ideas tracker

[michaelpj]

Add your ideas for GSoC projects here!

One comment per idea, thumbs up stuff you like.

[michaelpj]

Write a new case-splitting plugin (aka "revive minimal wingman") (#3525)

[michaelpj]

Actually use GHC's structured diagnostics (#2014)

[michaelpj]

Implement signature help (#3598)

[michaelpj]

Implement go-to-declaration (#3087)

(I think this is actually useful: Haskell does have separate signatures, and those can in principle be far away from the actual definition.)

[michaelpj]

Implement go-to-implementation

(It's a little unclear what this should do. I think there are a few possible useful things: we could use it to get typeclass instances when on a class definition; or perhaps to get the actually-used instance when at a use of a typeclass-polymorphic funciton (e.g. #1983))

[michaelpj]

Whole project rename (#2193)

(I think this is viable now we have multiple home units, might require the entire project to be loaded, but that's okay?)

[michaelpj]

Excellent diagnostics and observability of HLS itself

(Very unsexy, but basically making sure that we tell people what is happening as clearly as possible when there's a problem, and that the logging and other kinds of observability is as good as possible. Maybe revive the opentelemetry stuff too?)

[michaelpj]

LSP client library

(i.e. pull out all the stuff relating to driving a LSP server from lsp-test. Makes it easier to write other test frameworks and maybe useful for other stuff)

[michaelpj]

Inlay hints (#2938)

[michaelpj]

Type-aware autocompletion (#2081)

[michaelpj]

I think we should submit some ideas. Currently I am planning to submit the following that I would be willing to mentor. Would anyone else be willing to mentor a project? Or to be a mentor on one of the ones I'm going to submit, since I probably can't do all of them. In particular I think the case-splitting project would be popular if someone would mentor.

1. Integrate GHC's structured diagnostics
2. Implement more LPS features:
   • Primarily inlay hints (many things to do here)
   • Maybe also signature help or go to declaration

[michaelpj]

I wonder if either @santiweight or @alanz might be willing to mentor the case-splitting project?

[santiweight]

How much work is involved? I would love to get an idea and see whether I’ll have the time!

[michaelpj]

Depends a bit on who takes it up and how much input they need. I would say not more than a couple of hours a week, mostly trying to be available on chat or whatever to help them get through issues.