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.

Programmable hardware with Andy Ray

09 Sep 2020

Signals and Threads

Read Article
Irmin: September 2020 update

This post will survey the latest design decisions and performance improvements made to irmin-pack, the Irmin storage backend used by Tezos…

08 Sep 2020

Tarides

Read Article
Introducing irmin-pack

irmin-pack is an Irmin storage backend that we developed over the last year specifically to meet the Tezos use-case. Tezos nodes were…

01 Sep 2020

Tarides

Read Article
Announcing Signals and Threads, a new podcast from Jane Street

I’m excited (and slightly terrified) to announce that Jane Street isreleasing a new podcast, called Signals andThreads, and I’m going to be thehost.

31 Aug 2020

Jane Street Tech Blog

Read Article
A Declarative Syntax Definition for OCaml

In this talk, we present our work on a syntax definition for the OCaml language in the syntax definition formalism SDF3. SDF3 supports the high-level definition of concrete and abstract syntax through declarative disambiguation and definition of c...

28 Aug 2020

Watch OCaml

View Video
A Simple State-Machine Framework for Property-Based Testing in OCaml

Since their inception, state-machine frameworks have proven their worth by finding defects in everything from the underlying AUTOSAR components of Volvo cars to digital invoicing systems. These case studies were carried out with Erlang’s commercia...

28 Aug 2020

Watch OCaml

View Video
AD-OCaml: Algorithmic Differentiation for OCaml

AD-OCaml is a library framework for calculating mathematically exact derivatives and deep power series approximations of almost arbitrary OCaml programs via algorithmic differentiation. Unlike similar frameworks, this includes programs with side e...

28 Aug 2020

Watch OCaml

View Video
API migration: compare transformed

In this talk we describe our experience in using an automatic API-migration strategy dedicated at changing the signatures of OCaml functions, using the Rotor refactoring tool for OCaml. We perform a case study on open source Jane Street libraries ...

28 Aug 2020

Watch OCaml

View Video
Irmin v2

Irmin is an OCaml library for building distributed databases with the same design principles as Git. Existing Git users will find many familiar features: branching/merging, immutable causal history for all changes, and the ability to restore to an...

28 Aug 2020

Watch OCaml

View Video
LexiFi Runtime Types

OCaml programmers make deliberate use of abstract data types for composing safe and reliable software systems. The OCaml compiler relies on the invariants imposed by the type system to produce efficient and compact runtime data representations. Be...

28 Aug 2020

Watch OCaml

View Video