Lambda the Ultimate

The first two new features were both very welcome surprises to me: anonymous objects and lighter record syntax.

Language features:
- Support for immediate objects, i.e. objects defined without going
  through a class.  (Syntax is "object  end".)

The old way of doing this was to use "let module", as in "let module M = struct class c = object (self) ... end end in new M.c ...", which sort of made it useless as a way to create simple polymorphic records.

Type-checking:
- When typing record construction and record patterns, can omit
  the module qualification on all labels except one.  I.e.
  { M.l1 = ...; l2 = ... } is interpreted as { M.l1 = ...; M.l2 = ... }

This is a huge improvement, since it lets you achieve modularity without so much extra typing. Most of the time, I think record field names should live in their own namespaces; you shouldn't have to sacrifice modularity to save a few keystrokes. =)

Keep up the good work!


- Windows ports: many improvements in the OCamlWin toplevel application
(history, save inputs to file, etc). Contributed by Christopher A. Watford.


Last time I tried to learn OCaml, I threw my hands in frustration because of the poor state of OCamlWin. Now I'm looking at this tutorial found here a few days ago and liking it!