2025-03-14 –, Talks A
Language: English
LSP has greatly standardised the behaviour of IDEs, in a good direction: we can provide, de-facto, decent language support in editors supporting LSP.
But it also imposes a standardisation that often assumes that all languages behave like TypeScript. In this presentation, I'll introduce you to Merlin, the IDE service library for OCaml, and cover the custom features (via code-action and custom-request) that enhance the OCaml development experience (covering expression destructuring, expression construction, search by types (à la hoogle, directly in the IDE), type enclosures etc.).
The aim of the presentation was to show how to go beyond the default features offered by LSP and offer a development experience adapted to a more expressive language.
Building an IDE service on top of a slow-moving protocol is complicated, especially when it's not adapted to a language as expressive as OCaml. In this presentation, we'll look at how we're trying to modernise the code writing experience, while keeping up with new code editor protocols.
I am an OCaml Senior Software Engineer at Tarides working in the Editor team (on Merlin and OCaml LSP). I a m very interested in Functional Programming, type system and Languages tooling.