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.

Opam-bin: Binary Packages with Opam

In this talk, we will present opam-bin, an Opam plugin that builds Binary Opam packages on the fly, to speed-up reinstallation of pack- ages. opam-bin also creates Opam Repositories for these binary pack- ages, to make them easy to share with othe...

27 Aug 2021

Watch OCaml

View Video
Experiences with Effects in OCaml

The multicore branch of OCaml adds support for effect handlers. In this talk, we report our experiences with effects, both from converting existing code, and from writing new code. Converting the Angstrom parser from a callback style to effects gr...

27 Aug 2021

Watch OCaml

View Video
25 Years of OCaml: Xavier Leroy

Professor Xavier Leroy -- the primary original author and leader of the OCaml project -- reflects on 25 years of the OCaml language at his OCaml Workshop 2021 keynote speech.

27 Aug 2021

Watch OCaml

View Video
Digodoc and Docs

In this talk, we will introduce a new tool called digodoc, that builds a graph of an opam switch, associating files, libraries and opam packages into a cyclic graph of inclusions and dependencies. We will then explain how we used that tool to buil...

27 Aug 2021

Watch OCaml

View Video
A Multiverse of Glorious Documentation

This talk describes the process of generating documentation for every version of every package that can be built from the opam repository, and how it is presented as a single coherent website that is continuously updated as new packages are releas...

27 Aug 2021

Watch OCaml

View Video
Continuous Benchmarking for OCaml Projects

Regular CI systems are optimised for workloads that do not require stable performance over time. This makes them unsuitable for running performance benchmarks. current-bench provides a predictable environment for performance benchmarks and a UI...

27 Aug 2021

Watch OCaml

View Video
Probabilistic resource limits using StatMemprof

The goal of this talk is two-fold. First, we present memprof-limits, a probabilistic implementation of per-thread global memory limits, and per-thread allocation limits, for OCaml 4.12. Then, we will discuss the reasoning about programs in the pre...

27 Aug 2021

Watch OCaml

View Video
Leveraging Formal Specifications to Generate Fuzzing Suites

When testing a library, developers typically first have to capture the semantics they want to check. They then write the code implementing these tests and find relevant test cases that expose possible misbehaviours. In this work, we present a t...

27 Aug 2021

Watch OCaml

View Video
Wibbily Wobbly Timey Camly

Time handling is commonly considered a difficult problem by programmers due to myriad standards and complexity of time zone definitions. This also complicates scheduling across multiple time zones especially when one takes Daylight Saving Time int...

27 Aug 2021

Watch OCaml

View Video
Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs

We develop ParaFuzz, an input and concurrency fuzzing tool for Multicore OCaml programs. ParaFuzz builds on top of Crowbar which combines AFL-based grey box fuzzing with QuickCheck and extends it to handle parallelism. Sumit Padhiyar Indian In...

27 Aug 2021

Watch OCaml

View Video