Previous week Up Next week


Here is the latest Caml Weekly News, for the week of January 10 to 17, 2012.

  1. References and polymorphism
  2. The OCaml hump and RDF
  3. ODT 2.1 released
  4. Hello & F# Applied Research Jobs at MSR Cambridge
  5. Building on Windows
  6. Other Caml News

References and polymorphism


Deep in this thread, Gabriel Scherer said:
For a description of how the value restriction is relaxed in the OCaml
type system, see the article
  "Relaxing the value restriction", by Jacques Garrigue, 2004

The OCaml hump and RDF


Maxence Guesdon announced:
In order to test OCaml-rdf[1], I exported the OCaml Hump data as an RDF
graph. The data is available in three formats:

The vocabulary used is here (and I hope it is correct):

If some of you find this information useful, let me know so that such a
dump can be created every night.

I'm a beginner regarding all these semantic web formats, so do not hesitate
to tell me if I'm doing something wrong.


ODT 2.1 released


Emmanuel Dieul announced:
This mail announces the new release of ODT: 2.1. 
ODT (OCaml Development Tools) is an Eclipse plug-in for OCaml.

More information on this release is available at

Don't hesitate to try ODT, even for fun. ODT can be installed as explained
into the install notes ( 
A tutorial and several screenshots are available on the ODT website.

Thanks a lot for using ODT.

Hello & F# Applied Research Jobs at MSR Cambridge


Don Syme announced:
First, a friendly hello from the F# group at Microsoft.
We have positions open at Microsoft Research in Cambridge, UK, which may be of
interest for those following ML-related languages. We would welcome
applications from people with a background in OCaml and applied research
topics. Please pass this on to anyone else who you think may be interested
Many thanks and best wishes
Don Syme
Come and work with the F# group at Microsoft Research in Cambridge!

Microsoft Research in Cambridge has open positions for very high quality
applicants with advanced computer science skills (normally recent PhD-level
graduates or highly relevant industry experience), and internships for current
PhD candidates or other talented masters students.

I would like to encourage potential candidates interested in any topic related to 
- F# itself, as a language and tool set
- Topics on the boundary of F# and its applications (for example, GPGPU
  programming with F#, variations on Hadoop programming with F# or other
  parallel/advanced programming)
- Variations on "Information rich programming" with F# and massively rich
  information sources, including other variations on meta-programming and
  compiler extensibility

A particular growing interest area for pulling advanced F# experimental work
together is in the field of web-delivered, data-rich cloud programming. Think
of taking some of the world's greatest applied programming language work,
delivering it to high quality in educative web-delivered learning
environments, combine it with innovative techniques for strong typing and
information-rich programming, combine with the wealth of rich information
sources that make the modern web, integrate with modern backend execution
environments, strategies, machine-learning tools and products, both
homogeneous and heterogeneous, and deliver it into the hands of real users.

Often postdoc and intern positions at MSR have a 100%
theory/research/publication focus. However, in this case we are explicitly
interested in candidates who would like to pursue a combined practice &
research agenda, looking for a virtuous feedback cycle between the two. In
this situation, the joy of making things, playing with real software and
delivering it to thousands users is valued as much as writing a
paper. Candidates might also see this position as a transition step to a
research position, a startup, a lead product development role, or to an
academic role where hands-on practice is highly valued.

If you are completing your PhD, or have recently completed, and would like to
consider working in this kind of field at MSR Cambridge, then please feel free
to apply directly to me (dsyme AT, or apply directly for a
postdoc position or an internship.

Building on Windows


Hans Ole Rafaelsen announced:
I have put up a page on my attempt to build OCaml on Windows. It builds using
the mingw cross compiler under cygwin. It uses the GODI package manager. It's
still a few issues here and there, and requires some manual steps, but it's
able to build around 30 packages. Guess some additional packages will build
without modification as well, while others need some patching.

For more info see:

Other Caml News

From the ocamlcore planet blog:
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the
recent posts from the ocamlcore planet blog at

Share your mistakes: adventures in optimization:



Making staging explicit:

Reusing JavaScript libraries: JQuery UI:

Eighteen Million Noises:

File Sharing on the Spot:

Calcul avec OCaml 0.2:

LiveRoom: new Opa forum:

OCamlspotter 1.3.0:

Old cwn

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe online.

Alan Schmitt