Previous week Up Next week


Here is the latest Caml Weekly News, for the week of March 01 to 08, 2011.

  1. Professor position at the University of Namur, Belgium
  2. ODNS version 0.3 release
  3. ocsigen-bundler v0.1.0: Create self-contained Ocsigen server
  4. variable sharing
  5. Other Caml News

Professor position at the University of Namur, Belgium


Jean-Marie Jacquet announced:
                          PROFESSOR POSITION

                     FACULTY OF COMPUTER SCIENCE
                         UNIVERSITY OF NAMUR


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.


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 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
( 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.


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.


More information  can be asked to  the Dean of  the Faculty, Professor
Jean-Marie Jacquet 
(jmj AT

ODNS version 0.3 release


Jehan 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

All details in the release note:

I plan still many interesting improvements for a 0.4.
See you then!

ocsigen-bundler v0.1.0: Create self-contained Ocsigen server


Sylvain 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 Here is
a list of some of them:

- [OASIS](
- [OCaml Meeting](
- [OCamlCore API test](


Get source code:
$ darcs get

Browse source code:;a=summary


variable sharing


Kihong 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 [1] for your
data structures.



Fabrice 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
( described in [1]. If
you want to know details about interaction between hashconsing and
ocaml (especially its GC), [2] may be of some interest to you.

[1] Sylvain Conchon and Jean-Christophe Filliâtre. Type-Safe Modular
Hash-Consing. ML Workshop'06.
[2] 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.

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

OCaml User Meeting, April 2011:



First version of ocsigen-bundler:

ODNS and ring version 0.3:

OCaml Meeting 2011, inscription is opened:

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