1
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...
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
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 ...
3
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.
4
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.
5
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 ...
6
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...
7
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...