1
When Bash scripts bite
There are abundant resources online trying to scare programmers away from using shell scripts. Most of them, if anything, succeed in convincing the reader to...
Jane Street Tech Blog
OCaml and Systems rolled into one
- Popular posts
- 10
- Total points
- 1,473
- HN comments
- 525
- Rank
- #872 company
Visit blogs.janestreet.com → RSS feedOn Hacker News May 2014 – May 2017
Software Engineering 10Programming Languages 7Tools & Productivity 1Systems & Performance 1Life, Learning & Writing 1
2
Introducing Incremental
I’m pleased to announce the release of Incremental (well commented mli here), a powerful library for building self-adjusting computations, i.e., computations...
3
OCaml 4.03: Everything else
In my previous post I wrote about Flambda, which is the single biggest feature coming to OCaml in this release. In this post, I’ll review the other features ...
4
Building a lower-latency GC
We’ve been doing a bunch of work recently on improving the responsiveness of OCaml’s garbage collector. I thought it would be worth discussing these developm...
5
A better inliner for OCaml, and why it matters
OCaml 4.03 is branched and a first release candidate is imminent, so it seems like a good time to take stock of what’s coming.
6
Why OCaml? [video]
Here’s a post from a talk I gave this last summer during our internship program about why we use OCaml. It spends a lot of time on how OCaml fits into the space of programming language designs, and why we think OCaml is in a real sweet spot in that design space, especially for the kind of work we do at Jane Street.
7
Why OCaml GADTs matter for performance
When GADTs (Generalized Algebraic Data Types) landed in OCaml, I wasn’t particularly happy about it. I assumed that it was the kind of nonsense you get when ...
8
CPU registers and OCaml
Even though registers are a low-level CPU concept, having some knowledge about them can help write faster code. Simply put, a CPU register is a storage for a...
9
Reading Lamport, again
We’ve just kicked off an internal distributed-systems seminar. Our inaugral paper was Lamport’s classic “Time, Clocks and the Ordering of Events in a Distrib...
10
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 release. This is the first of a few b...