Here is the latest Caml Weekly News, for the week of January 10 to 17, 2012.
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-01/msg00089.htmlDeep 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 http://caml.inria.fr/about/papers.en.html
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-01/msg00092.htmlMaxence Guesdon announced:
In order to test OCaml-rdf, I exported the OCaml Hump data as an RDF graph. The data is available in three formats: XML: http://pauillac.inria.fr/~guesdon/hump-data.xml turtle: http://pauillac.inria.fr/~guesdon/hump-data.turtle ntriples: http://pauillac.inria.fr/~guesdon/hump-data.ntriples The vocabulary used is here (and I hope it is correct): http://pauillac.inria.fr/~guesdon/hump.turtle 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.  http://ocaml-rdf.forge.ocamlcore.org/
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-01/msg00105.htmlEmmanuel 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 http://ocamldt.free.fr/spip.php?breve25. Don't hesitate to try ODT, even for fun. ODT can be installed as explained into the install notes (http://ocamldt.free.fr/spip.php?article5). A tutorial and several screenshots are available on the ODT website. Thanks a lot for using ODT.
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-01/msg00130.htmlDon 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 http://blogs.msdn.com/b/dsyme/archive/2012/01/14/come-and-work-with-the-f-group-at-microsoft-research-in-cambridge.aspx 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 microsoft.com), or apply directly for a postdoc position or an internship.
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-01/msg00153.htmlHans 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: https://sites.google.com/site/godiwin32test/home
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.