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.

Annotating OCaml Variables and Returns with local_ | OCaml Unboxed

This is the second installment in the video series explaining OCaml's locals. In this video, I explain how we can annotate variables and return types with local_. Code for this video: https://github.com/goldfirere/janestreet-videos/tree/main/locals/02-local-variables-and-returns View instructions to get the compiler I use in this video: https://github.com/janestreet/opam-repository/tree/with-extensions Playlist for videos in this series: https://www.youtube.com/playlist?list=PLCiAikFFaMJrgFrWRKn0-1EI3gVZLQJtJ

23 Jan 2024

Jane Street - OCaml Unboxed

View Video
Ocsigen: Developing Web and mobile applications in OCaml – Jérôme Vouillon & Vincent Balat

This presentation gives an overview of the Ocsigen framework, which is used in particular to develop the Be Sport social network. Ocsigen is a set a tools to develop Web sites and applications. Amongst other things, it contains js_of_ocaml, a comp...

23 Jan 2024

Watch OCaml

View Video
Outreachy Blog: Everyone Struggles

Starting off isn't always easy. Here's my experience at the beginning.

21 Jan 2024

Idara Nabuk

Read Article
The OCaml Community

For starters, here's a little tour of our amazing community.

21 Jan 2024

Idara Nabuk

Read Article
What are Data Races? And do They Threaten Your Business?

Imagine you have a brand-new coffee machine. One morning, you traipse excitedly down the stairs only to discover that, alas, your appliance…

17 Jan 2024

Tarides

Read Article
Concepts of Functional Programming

This post explores the concepts of functional programming, including immutability, pure functions, higher-order functions, recursion, and more. It also delves into the history of functional programming and introduces Lambda Calculus. If you're new to functional programming or want to deepen your understanding, this post is for you.

16 Jan 2024

Emil Privér

Read Article
Learning OCaml: Verifying tail-recursion with @tailcall

How can you be sure that an OCaml function you wrote is actually tail-recursive? You can certainly compile the code and look at the generated assembly code, but that’d be quite the overkill, given there is a much simpler way to do this.

16 Jan 2024

Bozhidar Batsov

Read Article
Meet odoc, OCaml's Documentation Generator

Effective documentation is a cornerstone of software development. It helps developers understand how to use a language, its libraries, and…

10 Jan 2024

Tarides

Read Article
Verifying an Effect-Based Cooperative Concurrency Scheduler in Iris by Adrian Dapprich

Lightweight asynchronous programming (using futures, goroutines or green threads) has been widely adopted to organize programs with many concurrent tasks, more than are traditionally feasible with thread-per-task models of concurrency. With the...

09 Jan 2024

Watch OCaml

View Video