OCaml 4.02: everything else

This is the last in my series of posts about new features in OCaml 4.02. So far, I’ve discussed how OCaml is getting more like...

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