Pattern matching and exception handling, unite!

(OCaml 4.02 has branched, which makes it a good time to stop and take a look at what to expect for this release. This is...

Core_bench: better micro-benchmarks through linear regression

This post is meant to be an introduction to Core_bench, our micro-benchmarking library for OCaml. Core_bench is similar to Haskell’s micro-benchmarking library, Criterion, in that...

Hiring a compiler engineer

Jane Street is looking to hire an experienced compiler engineer to work on improving the OCaml compiler. The focus would be on performance-related improvements to...

Why change is hard

At Jane Street we have a number of systems that are vital to the operation of the firm. As the company has grown, so have...

Better namespaces through module aliases

(OCaml 4.02 is entering a feature freeze, which makes it a good time to stop and take a look at what to expect for this...

Extension Points, or how OCaml is becoming more like Lisp

(OCaml 4.02 is entering a feature freeze, which makes it a good time to stop and take a look at what to expect for this...

How to fail -- introducing Or_error.t

There are a bunch of different ways of handling errors in OCaml. If you’ve just started learning about functional programming, you’ll no doubt have come...

Disabling Chrome's x-webkit-speech vulnerability

It’s been a busy couple of weeks for Internet security! Almost unnoticed amongst the ‘Heartbleed’ fallout was a post on Guy Aharonovsky’s blog detailing how...

How Does Automount Work Anyway?

Introduction

Generic mapping and folding in OCaml

Haskell has a function fmap which can map over a number of different datatypes. For example, fmap can map a function over both a List...

Breaking down FRP

As anyone who has looked into functional reactive programming (FRP) knows, there are lots of competing approaches to it, and not a lot of conceptual...

Async Parallel

Background

10 tips for writing comments (plus one more)

A few words about what we’re striving for in our comments, particularly in Core. Every shop has their own commenting style, so I worry that...

A module type equivalence surprise

I usually think of two module types S1 and S2 as being equivalent if the following two functors type check:

RWO tidbits: the runtime

This is my favorite tweet about Real World OCaml.

RWO tidbits: Benign effects

Now that Real World OCaml is out, I thought it would be fun to have a series of posts highlighting different interesting corners of the...

The making of Real World OCaml

What's 2013 + 50? 1969, of course!

What happens when the latest CentOS 6.4/RHEL/FreeBSD GnuTLS certtool gets used to generate a TLS certificate with a 18250-day validity period? Time travel back in...