Blog

The OCaml Planet

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Programming with OCaml's Local Mode | OCaml Unboxed

This OCaml Unboxed episode demonstrates some of the twists and turns you might encounter while programming with locals and introduces the *global modality*. Watching this video might help you learn what to look for when programming with locals! View instructions to get the compiler I use in this video: https://github.com/janestreet/opam-repository/tree/with-extensions Full documentation of locals: https://github.com/ocaml-flambda/flambda-backend/blob/main/ocaml/jane/doc/extensions/local/intro.md

24 Jun 2024

Jane Street - OCaml Unboxed

View Video
Keeping Up With the Compiler: How we Help Maintain the OCaml Language

Not all of our projects have a definite end: a grand culmination of effort and time where we pop champagne and set off fireworks (which is…

19 Jun 2024

Tarides

Read Article
MirageVPN server

17 Jun 2024

Robur Cooperative

Read Article
Regions with OCaml's Local Types | OCaml Unboxed

This OCaml Unboxed episode describes regions and the hidden regional mode in OCaml's local types, as developed by Jane Street. It turns out that local parameters aren't really local: they're regional! This explains how some impossible-looking programs actually work. View instructions to get the compiler I use in this video: https://github.com/janestreet/opam-repository/tree/with-extensions Full documentation of locals: https://github.com/ocaml-flambda/flambda-backend/blob/main/ocaml/jane/doc/extensions/local/intro.md

13 Jun 2024

Jane Street - OCaml Unboxed

View Video
Secure From the Ground Up: Introducing the FIDES Project Combining RISC-V and MirageOS

We entrust some of our most sensitive information to an invisible stream of information flowing back and forth across the globe…

05 Jun 2024

Tarides

Read Article