Caml Trading talk at CMU
I was at CMU several weeks ago, and gave a version of my “Caml Trading” talk there. See below if you are interested in seeing...
Do you use FP as a means rather than an end?
If you do, you might want to consider submitting a proposal to the 2009 CUFP (Commerical Users of Functional Programming) workshop.
By: Yaron Minsky
Private type abbreviations, what are they good for?
I’m having a lot of trouble figuring out what private type abbreviations are good for. Private type abbreviations arrived as a new feature in OCaml...
By: Yaron Minsky
Summer Project '09
I am pleased to announce the Jane Street Summer Project for 2009! The goal of the program is to encourage growth in the functional programming...
By: Summer Project
Lightweight versioning for lightweight protocols
At Jane Street, we often write OCaml programs that communicate over the network with each other, and as such, we need to build lots of...
By: Yaron Minsky
The OSP meeting
I’ve been meaning to write about the OCaml Summer Project end-of-summer meeting that occurred on September 12th, but as those of you who read the...
By: Yaron Minsky
A Working Programmer's Guide to Type-Indexed Values
Parametric polymorphism is a basic mechanism in ML for writing code that is generic, i.e., that can be used on multiple different types. To get...
By: Yaron Minsky
Centralizing distributed version control
We switched over to using Mercurial about a year and a half ago (from tla/baz–don’t ask), and it’s worked out quite well for us. One...
By: Yaron Minsky
Building a better compare
In a recent post, I described some of the problems associated with OCaml’s built in polymorphic comparison functions. So, if you want to avoid OCaml’s...
By: Yaron Minsky
Ask and ye shall receive
At least, if you ask with a nicely detailed bug report. Looks like the missed optimization for equality on polymorphic variants I mentioned in a...
By: Yaron Minsky
The perils of polymorphic compare
I have a love-hate relationship with OCaml’s polymorphic comparison functions, which I think I share with a lot of people who use the language. For...
By: Yaron Minsky
Better float unboxing
A couple of months ago, Pascal noticed some missed optimizations in OCaml’s float unboxing optimizations. In some cases, code that looked like it should be...
By: Yaron Minsky
Folding over fields
One of the best features of ML is pattern matching. Pattern matching is essentially a way of writing a case analysis driven by the structure...
By: Yaron Minsky
The dangers of being too partial
This article deals with some not well-known dark corners of the OCaml compiler and how to get around them to produce more efficient code. The...
By: Pascal Zimmer
Ensuring that a function is polymorphic
Here’s a little trick that I find useful when I get a type error due to a function that I believe is polymorphic, but isn’t...
By: Stephen Weeks
Core Principles: uniformity of interface
This is intended to be the first in a series of posts talking about the design principles behind core, Jane Street’s alternative to OCaml’s standard...
By: Yaron Minsky
Core has landed
We are proud to announce the first public release of `core`, Jane Street's own alternative to OCaml's standard library. We use this library as the...
By: Yaron Minsky
using with type on a variant type
Here’s a type-checking problem I ran into today. I had a module with a variant type matching a signature that exposed the variant type.
By: Stephen Weeks
