OCaml in Japan, and its Meeting in Tokyo
It might be surprising to hear that there are a significant number of OCaml users in Japan, but it is true. OCaml has been used...
What do Haskellers have against exhaustiveness?
One of my favorite features of the Hindley-Milner type system is the built-in exhaustiveness checking that is applied to pattern matches. I like this feature...
By: Yaron Minsky
Presenting the 2009 JSSP projects
This year’s JSSP projects have been selected. We think it’s an exciting list of projects, and we’re pleased that this year the projects support a...
By: Summer Project
Proposals in, application period is closed
The application period for this year’s summer project is now closed, and we have an interesting collection of proposals to choose between. The proposals use...
By: Summer Project
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...
By: Yaron Minsky
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
