2018
DOI: 10.1145/3236798
|View full text |Cite
|
Sign up to set email alerts
|

Merlin: a language server for OCaml (experience report)

Abstract: We report on the experience of developing Merlin, a language server for the OCaml programming language in development since 2013. Merlin is a daemon that connects to your favourite text editor and provides services that require a fine-grained understanding of the programming language syntax and static semantics: instant feedback on warnings and errors, autocompletion, "type of the code under the cursor", "go to definition", etc.Language servers need to handle incomplete and partially-incorrect programs, and tr… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
5
0

Year Published

2018
2018
2023
2023

Publication Types

Select...
4
3

Relationship

1
6

Authors

Journals

citations
Cited by 14 publications
(5 citation statements)
references
References 6 publications
0
5
0
Order By: Relevance
“…Multiple papers also present the work of interfacing given languages with LSP or DAP. Bour et al [12] report on their experience of implementing LSP support for OCaml, a functional programming language. Sander [13] describe the implementation of LSP services for the Nickel configuration language.…”
Section: Debug Adapter Protocolmentioning
confidence: 99%
“…Multiple papers also present the work of interfacing given languages with LSP or DAP. Bour et al [12] report on their experience of implementing LSP support for OCaml, a functional programming language. Sander [13] describe the implementation of LSP services for the Nickel configuration language.…”
Section: Debug Adapter Protocolmentioning
confidence: 99%
“…Furthermore, moving the check from the compiler middle end into the type checker has another benefit: it is convenient for tools that reuse OCaml's type-checker without performing compilation, such as the multi-stage language MetaOCaml [Kiselyov 2014] (which type-checks code quotations) and the Merlin language server [Bour et al 2018] (which type-checks code during editing).…”
Section: Adoption In Ocamlmentioning
confidence: 99%
“…Merlin Bour, Refis, and Scherer (2018) present Merlin, a language server for OCaml. As a language server, it can answer queries from the user, like requesting the type of an identifier and navigating to the definition of an identifier.…”
Section: Incremental Lr Parsersmentioning
confidence: 99%