Effective ML Revisited
Harvard is again teaching OCaml to its first-year students, and Greg Morrissett again this year invited me to give a guest lecture. I gave a...
A trick: recursive modules from recursive signatures
Stephen taught me a neat trick a while back. Suppose you want to define a some mutually recursive types
By: Nathan Linger
BOFs, Tutorials and Talks, oh my!
I’m on the program committee for CUFP this year, so I’m a bit biased, but I feel very good about this year’s program. For the...
By: Yaron Minsky
Effective ML video
A while back I mentioned that I’d given a guest lecture at classes at Harvard and Northeastern, and that the Harvard class had been taped....
By: Yaron Minsky
More expressive GADT encodings via first class modules
GADTs allow one to statically enforce stronger program invariants than are otherwise possible in a Hindley-Milner style type system. This post retells the story of...
By: Nathan Linger
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...
By: Yaron Minsky
Ensuring that a function is polymorphic in Ocaml 3.12
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...
By: Nathan Linger
Making something out of nothing (or, why None is better than NaN and NULL)
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...
By: Yaron Minsky
Another use for private type abbreviations
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...
By: Yaron Minsky
Effective ML
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...
By: Yaron Minsky
CUFP 2010 is coming!
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...
By: Yaron Minsky
Jane Street OCamldocs now available
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:
By: Ralph Douglass
Core Gems: Time
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...
By: Yaron Minsky
Optimizing List.map
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...
By: Yaron Minsky
Core 0.6.0 release
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...
By: Ralph Douglass
Another JSSP post
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!
By: Yaron Minsky
Jane Street Summer Project round-up
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...
By: Yaron Minsky
Designing a code-review tool, Part 2: Patches or Diffs
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...
By: Yaron Minsky
