Here is the latest Caml Weekly News, for the week of March 01 to 08, 2011.
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2011-03/msg00037.htmlJean-Marie Jacquet announced:
PROFESSOR POSITION IN INFORMATION AND COMMUNICATION SYSTEMS FACULTY OF COMPUTER SCIENCE UNIVERSITY OF NAMUR FUNCTIONS Focussing both teaching and research on the design of information and communication systems, from requirement engineering to implementation, the Faculty of Computer Science of the University of Namur (FUNDP) announces a full-time professor position with emphasis on information system evolution, this including transformations of programs, databases, man-machine interfaces, and decision processes embodied in softwares. The potential of candidates taking precedence over their current specialisation, candidates with other but related backgrounds are also invited to apply provided they are willing to change their research and teaching focus on information system evolution. Candidates are expected to contribute to undergraduate, graduate and postgraduate teaching, and to Lifelong Learning. They will develop competitive research programs. Usual service activities are also part of the duty. In accordance with the Belgian regulation, positions will first be given for a probationary period of two years, before confirming the successful candidate in his (her) appointment. The candidates are expected to start on September 1st, 2011. QUALIFICATIONS The candidates will hold a PhD, preferably in computer science. The tenure is open to seasoned candidates with a strong scientific and teaching background as well as to young candidates showing high scientific and pedagogical potential. Teaching will mainly be delivered in French. Foreign candidates will be able to teach in French after one year. A preference will be given to candidates with a high integration potential and with an expertise completing that of the current academic staff, in particular by applying his research in the domains of e-health and sustainable environment. APPLICATIONS Applications should be sent to the Rector of the University of Namur (FUNDP), rue de Bruxelles 61, B-5000 Namur, Belgium. Application forms are available from the Human Resource Department, rue de Bruxelles 61, B-5000 Namur (Tel. : +32 (0)81-72 40 42). Electronic versions can also be obtained from the web site of the University (www.fundp.ac.be/universite/jobs). To this form, candidates will add a complete curriculum vitae as well as a research proposal for the next three years. The application deadline is April 15th 2011. After a first analysis of the applications, interviews of selected candidates will be organized in the beginning of May. These candidates will be invited to deliver a lecture in one of the topics of information system evolution as well as to present their research proposal. ENVIRONMENT The Faculty of Computer Science is one of the oldest European faculties in Information System. It has about 300 students, 80 staff members, out of whom 16 are full-time professors and 50 are researchers. Established in 1969, the Faculty of Computer Science has graduated more than 1.600 students, all of them with highly appreciated qualifications at the international level. The FUNDP is a midsize university of about 5,500 students, and is a member of the Academie Universitaire Louvain comprising about 30,000 students. It has developed intensive collaborations with many national and international universities and research centres. Capital of Wallonia, Namur is a charming city of 100,000 inhabitants located 50 km south of Brussels and 2h30 from Paris and London. INFORMATION More information can be asked to the Dean of the Faculty, Professor Jean-Marie Jacquet (jmj AT info.fundp.ac.be).
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2011-03/msg00038.htmlJehan Pagès announced:
I just wanted to announce the release of ODNS version 3. Many changes, but probably among the most interesting are a runtime cache using the time to live of resource records (the use of the cache is thread-safe, which means you can have several resolvers making queries in concurrencies, all will use the same cache without conflicting), also some nice improvements on the helpers (using some multi-thread to make several DNS queries at once) and various configuration related new possibilities. All details in the release note: http://odns.tuxfamily.org/2011/03/02/odns-and-ring-version-0-3/ I plan still many interesting improvements for a 0.4. See you then!
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2011-03/msg00041.htmlSylvain Le Gall announced:
This project helps to create self contained Ocsigen web server with its Eliom modules. It is a mean to easily deploy an Ocsigen server on a server without OCaml or Ocsigen installed. One of its main use is to deploy Ocsigen application on ocamlcore.org. Here is a list of some of them: - [OASIS](http://oasis.ocamlcore.org) - [OCaml Meeting](http://ocaml-meeting.forge.ocamlcore.org/2011-paris/reg_view) - [OCamlCore API test](http://ocamlcore-api.forge.ocamlcore.org) Homepage: http://forge.ocamlcore.org/projects/ocsigen-bundler Get source code: $ darcs get http://darcs.ocamlcore.org/repos/ocsigen-bundler Browse source code: http://darcs.ocamlcore.org/cgi-bin/darcsweb.cgi?r=ocsigen-bundler/ocsigen-bundler;a=summary Download: http://oasis.ocamlcore.org/dev/dist/ocsigen-bundler/0.1.0/ocsigen-bundler-0.1.0.tar.gz
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2011-03/msg00046.htmlKihong Heo asked about sharing and Daniel Bünzli suggested:
Value sharing will not depend on the compiler but on your programing style (and the style of the libraries you use). When you code you should always ask yourself whether you are recycling the values you manipulate or whether you are doing new copies of the same data. You may also be interested in implementing hash consing  for your data structures. Best, Daniel  http://www.lri.fr/~filliatr/ftp/publis/hash-consing.ps.gzFabrice Le Fessant also replied:
let a = ... let b = Some a let c = b (* b and c share the same value *) let d = Some a (* d = b, but d != b, i.e. b and d don't share the same value in memory *) If you want b and d to share the same value, you have to use some kind of h-consing, but the runtime won't do it for you by default.Julien Signoles then added:
As Daniel and Fabrice said, I guess you need hash-consing. You may use the Filliâtre's Hashcons/Hset/Hmap modules (http://www.lri.fr/~filliatr/software.en.html) described in . If you want to know details about interaction between hashconsing and ocaml (especially its GC),  may be of some interest to you.  Sylvain Conchon and Jean-Christophe Filliâtre. Type-Safe Modular Hash-Consing. ML Workshop'06.  Pascal Cuoq and Damien Doligez, Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. ML Workshop'08.
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the recent posts from the ocamlcore planet blog at http://planet.ocamlcore.org/. OCaml User Meeting, April 2011: http://rwmj.wordpress.com/2011/03/08/ocaml-user-meeting-april-2011/ zed: https://forge.ocamlcore.org/projects/zed/ Lambda-Term: https://forge.ocamlcore.org/projects/lambda-term/ First version of ocsigen-bundler: https://forge.ocamlcore.org/forum/forum.php?forum_id=775 ODNS and ring version 0.3: http://odns.tuxfamily.org/2011/03/02/odns-and-ring-version-0-3/ OCaml Meeting 2011, inscription is opened: https://forge.ocamlcore.org/forum/forum.php?forum_id=774
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.