Blog

The OCaml Planet RSS

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.

Why we chose OCaml to write Stategraph

When managing infrastructure, state corruption must be impossible. OCaml's type system catches entire categories of bugs at compile time.

06 Nov 2025

Terrateam Blog

Read Article
How to build type-safe State Machines using type-state

Tired of writing state machines full of invalid transitions? Type-state may be what you're looking for. In this issue of Practical OCaml we show you how to use it to build type-safe state machines.

29 Aug 2023

Practical OCaml

Read Article
Dijkstra's algorithm

Shortest Path This article assumes familiarity with Dijkstra's shortest path algorithm. For a refresher, see [1]. T...

20 May 2018

Shayne Fletcher

Read Article
Inspecting Internal TCP State on Linux

Sometimes it can be useful to inspect the state of a TCP endpoint. Things suchas the current congestion window, the retransmission timeout (RTO), duplicateac...

09 Jul 2014

Jane Street Tech Blog

Read Article
GUI Event Handling with a Functional Hierarchical State Machine

A journey toward a state-machine without mutable state, but enough flexibility to express GUI behaviors. This is nothing new in it's parts...

04 Mar 2014

Cranial Burnout

Read Article
Logic programming in Scala, part 1

I got a new job where I am hacking some Scala. I thought I would learn something by translating some functional code into Scala, and a frien...

07 Apr 2011

Jake Donham

Read Article