Next week, from the 19th May to the 30th we are starting a two week sprint effort on the subject of language servers for languages coded in OCaml.
The goal is to get a common engineering platform (code, tooling and skills) to start building and maintaining Language Server Protocol (LSP) based servers in OCaml.
OCaml Workshop (19th May – 21st May)
The first three days, Mathias Malandain (from Inria Rennes) will be giving a hands-on OCaml tutorial. This is an opportunity for engineers to learn OCaml before participating in the sprint.
Participants should prepare the workshop by installing OCaml and the notebook, see README here:
https://gitlab.inria.fr/sed-rennes/formations/ocaml
First Sprint, VsRocq
For the first sprint we will focus on the Rocq language server, VsRocq: https://github.com/rocq-prover/vscoq
The goal of this sprint will be to review the architecture of the code to:
- Separate parts that could be common to any other languages
- Expose an API to start building from this common block
Short previsional timeline:
- 22nd May: crash course on VsRocq. What is the current architecture ? What are the patterns used ? What is the new architecture ? Which next steps to get there ?
- 23rd May, morning: sprint planning, start of coding sprint
- 23rd May onwards: coding sprint
- 30th May (note that due to the holiday on the 29th, we might extend this date to the week after): sprint review, retrospective
And then what ?
After this kickoff, we will plan several other sprints to start building, or re-factoring language servers for other languages. Languages which could be impacted:
- Jasmin
- Elpi
- Lambdapi
- Easycrypt
- Catala
Stay tuned for more info !
