Explore articles by Xavier Van de Woestyne, featuring deep insights into systems programming, distributed computing, and cutting-edge technology. Discover the author's unique perspective and technical expertise that contribute to innovation at Tarides.
"OCaml Now Has Type Recovery: When Type Checking Goes Wrong, but Keeps Going"
In this article, we'll look at how we migrated the Typing Recovery mechanism, which was previously part of the vendor-provided version of the Merlin OCaml compiler's front end, directly into OCaml.
Senior Software Engineer
Bringing Emacs Support to OCaml's LSP Server with ocaml-eglot
Discover the `ocaml-eglot` project, a plugin that integrates OCaml's Emacs editor support with the LSP.
Senior Software Engineer
OCaml Web Development: Essential Tools and Libraries in 2025
Are you curious about using OCaml for web development? We outline some of the biggest tools and libraries you'll want to check out!
Communications Officer
Senior Software Engineer
Tarides at BOB Konferenz 2025
We were present at BOBKonf 2025, as speakers and attendees! Here's a brief report on our experiences in Berlin.
Senior Software Engineer
Senior Software Engineer
Effective ML Through Merlin's Destruct Command
The Merlin server and OCaml LSP server, two closely related OCaml language servers, enhance productivity with features like autocompletion and type inference. Their lesser known, yet highly useful destruct command simplifies the use of pattern matching by generating exhaustive match statements, as w…
Senior Software Engineer
