OCaml as a scripting language
There is a common perception that you should choose your type system based on the scale of your project. If you’re writing a little program...
There is a common perception that you should choose your type system based on the scale of your project. If you’re writing a little program...
The beta version of Ocaml 3.12 has a couple of new features that relate to a post Stephen wrote a while back on how to...
Null is a pervasive concept in computing. Virtually all programming languages have a way of expressing nothing, nullity, no answer. But handling nulls correctly turns...
Early in ‘09, I put up a post asking Private type abbreviations, what are they good for?. I got a lot of good answers to...
A couple of weeks ago I visited Northeastern and Harvard where I gave guest lectures on the subject of programming effectively in ML. In both...
CUFP is a yearly workshop for commercial users of functional programming. CUFP is aimed not just at industrial uses, but really at any uses of...
I’m pleased to announce that we now have ocamldoc generated documentation available for Type-conv, Bin-prot, Sexplib, and Core. You can find them here:
This post is meant to be the first in a series highlighting various interesting features of Core (although I should acknowledge that most of the...
With the latest release of Core, I’ve had occasion to think about how our libraries differ from INRIA’s. One difference that’s been there from the...
We are proud to announce the second major release of Core, Jane Street’s alternative to OCaml’s standard library. This release also includes Core_extended, which adds...
Just thought I should point out another post, this one from Patai Gergely, summarizing events at the JSSP end-of-summer meeting, this one including pictures!
We just had the end-of-summer meeting for this year’s JSSP, and this is my personal summary of the event. We expect to post more information...
One of the key decisions to make when designing a code review system is choosing the basic unit of code review. One approach common in...
We’ve just rolled out a new software tool for managing our code review process. Code review is a pretty central part of how we try...
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...
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...
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...
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...