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.

Flambda2 Ep. 3: Speculative Inlining

Welcome to a new episode of The Flambda2 Snippets! The F2S blog posts aim at gradually introducing the world to the inner-workings of a complex piece of software engineering: The Flambda2 Optimising Compiler for OCaml, a technical marvel born from a 10 year-long effort in Research & Development and ...

09 Aug 2024

OCamlPro

Read Article
OCaml's New Proposed "include functor" Syntax | OCaml Unboxed

A well-designed interface offers lots of expressiveness with minimal implementation. OCaml programmers thus often implement just a few functions in an interface (module type), then use a functor to define the rest based on these definitions. This idiom, though useful, can be awkward, requiring a little repetition. To make this easier, Jane Street designed the "include functor" syntax. This video shows how it works and why you might want to use it. View instructions to get the compiler I use in this video: https://github.com/janestreet/opam-repository/tree/with-extensions Reference documentation for the "include functor" feature: https://github.com/ocaml-flambda/flambda-backend/blob/main/ocaml/jane/doc/extensions/include-functor.md Code written in this video: https://github.com/goldfirere/janestreet-videos/blob/main/include-functor/include_functor.ml Proposal to include "include functor" in mainstream OCaml: https://github.com/ocaml/RFCs/pull/43

07 Aug 2024

Jane Street - OCaml Unboxed

View Video
Monoculture of Insecurity: How CrowdStrike's Outage Exposes the Risks of Unchecked Complexity in Cybersecurity

A seismic event in the IT world, everyone is talking about the CrowdStrike update that caused global chaos earlier this month. There areā€¦

01 Aug 2024

Tarides

Read Article