Previous week Up Next week


Here is the latest Caml Weekly News, for the week of June 30 to July 7, 2009.

  1. Ingénieur Caml jeune diplômé
  2. OCaml users and developpers map
  3. Concurrent Cell Version 2.0.0
  4. RegSTAB released
  5. Other Caml News

Ingénieur Caml jeune diplômé


Frédéric Besson announced:
L'équipe Inria Celtique recherche un programmeur OCaml (ingénieur  
jeune diplômé)
pour développer des analyses statiques pour le langage Java.

L'annonce  est consultable à l'adresse suivante

Mots-clés   : compilation, vérification, analyse statique
Langages    : OCaml
Éligibilité : ingénieur jeune diplômé (diplômé 2008 ou 2009)
Contrat     : un an (renouvelable une fois)
Lieu        : Rennes
Date limite : 30 août 2009
Contact     :

OCaml users and developpers map


Adrien Nader said:
A few days ago, on the #ocaml irc channel, it appeared the location of
most ocaml users wasn't known and that some live very (very) close to
each others without knowing it.

A map of users would be a good thing for the community. For instance,
it could help create local user groups or help chose the location for
a meeting.
Currently the only such map I know of is ohloh's[1]. It currently has
about 30 people (23 users, 3 devs). The map is public and you can have
a look at it (note that "contributors" are not shown on the same map
as "users").

If you want to add yourself to the map, you'll need to register on[2], fill in your location in your account settings and
finally click on the "I use this" button on the page for the ocaml

It is assumed most ocaml coders are French, let's see if that really holds. :)


Concurrent Cell Version 2.0.0


Satoshi Ogasawara announced:
I'm please to announce a new release of Concurrent Cell version 2.0.0 which
supports new variable 'Dvar'. This variable is a kind of Mvar that can hold
dependency between variables, and resolve thease dependency automatically when
the value of the variable is changed. This system is similar to Functional
Reactive Programming style.

the main signatures are:

type 'a t
type 'a eq = 'a -> 'a -> bool
val make : ?name:string -> ?eq:'a eq -> ?event:'a Mbox.t -> 'a -> 'a t
val depend : ?name:string -> ?eq:'b eq -> 'a t -> ('a -> 'b) -> 'b t
val read : 'a t -> 'a Event.event
val set : 'a t -> ('a option -> 'a) -> unit Event.event
val filter : ?name:string -> ?eq:'b eq -> 'a t -> ('a -> 'b option) -> 'b t
val connect : 'a t -> ('a -> 'b -> 'b) -> 'b t -> unit
val disconnect : src:'a t -> dst:'b t -> unit
val depend2 : ?name:string -> ?eq:'c eq -> 'a t -> 'b t -> ('a -> 'b -> 'c) -> 'c t

RegSTAB released


Vincent Aravantinos announced:
I am pleased to announce the first release of RegSTAB.

RegSTAB is a SAT-solver able to deal with formula schemas: you can give it a
scheme of formulas such as "/\i=1..n P_i -> P_i+1" (where n is a variable) and
it will be able to answer you if *all the formulas of this form (i.e. for
every value of n) are unsatisfiable*. i.e. it can treat at once an infinite
set of propositional formulas.

Manual: manual
RegSTAB is based on a recent paper:

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

RegSTAB first release:

Hash tables: separate chaining vs. double hashing:

Math typesetting with jsMath:

Three More for the Debian New Queue.:

Concurrent Cell now supports  Dvar.:

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