Previous week Up Next week


Here is the latest Caml Weekly News, for the week of June 12 to 19, 2012.

  1. cryptokit v1.6: Cryptographic primitives
  2. ocaml-fileutils v0.4.4
  3. ocaml-expect v0.0.3: Expect-like framework
  4. No interface to the C sysconf function in the Sys or Unix module?
  5. gperftools 0.1, extunix 0.0.5
  6. Call for Participation: Mancoosi International Solver Competition
  7. PEPM 2013: Preliminary Call for Papers
  8. Appel à communication, JFLA 2013
  9. FAN 0.1
  10. Commercial Users of Functional Programming 2012: Call for Presentations
  11. Other Caml News

cryptokit v1.6: Cryptographic primitives


Sylvain Le Gall announced:
Update to oasis v0.3.0~rc6


This library provides a variety of cryptographic primitives that can be used
to implement cryptographic protocols in security-sensitive applications. The
primitives provided include:

- Symmetric-key ciphers: AES, DES, Triple-DES, ARCfour,
in ECB, CBC, CFB and OFB modes.
- Public-key cryptography: RSA encryption, Diffie-Hellman key agreement.
- Hash functions and MACs: SHA-1, MD5, and MACs based on AES and DES.
- Random number generation.
- Encodings and compression: base 64, hexadecimal, Zlib compression.

Additional ciphers and hashes can easily be used in conjunction with
the library. In particular, basic mechanisms such as chaining modes,
output buffering, and padding are provided by generic classes that can
easily be composed with user-provided ciphers. More generally, the library
promotes a "Lego"-like style of constructing and composing
transformations over character streams.

Get source code:
$ svn co

Browse source code:

ocaml-fileutils v0.4.4


Sylvain Le Gall announced:
Update to oasis 0.3.0~rc6


Get source code:
$ darcs get

Browse source code:;a=summary

ocaml-expect v0.0.3: Expect-like framework


Sylvain Le Gall announced:
Update with oasis v0.3.0~rc6.


This is a simple implementation of `expect` to help building unitary testing
of interactive program.

It helps to receive question and send answers from an interactive process.
You can match the question using a regular expression (Str). You can also
use a timeout to ensure that the process answer in time.

See the [Expect manual]( for more information and


Get source code:
$ darcs get

Browse source code:;a=summary

No interface to the C sysconf function in the Sys or Unix module?


Francois Berenger asked and Markus Weißmann replied:
> Wouldn't it be possible to have one?

Afaik this is on the todo list of ocaml-extunix [1].

best regards


gperftools 0.1, extunix 0.0.5


ygrek announced:
Tonight one more new ocaml library was born, please welcome :

ocaml-gperftools 0.1

gperftools library provides interface 
to control tcmalloc behavior. This may be useful to
ocaml programs which delegate heavy lifting to C code, hence the ocaml 

Located at

ocaml-extunix 0.0.5

ExtUnix aims to collect thin bindings to various low-level system API in one 
library with consistent interface.
This release includes build compatibility tweaks, fixes potential crash with 
upcoming OCaml 4 (thanks to Gerd Stolpmann for raising this
issue on caml-list) and makes oUnit an optional dependency.

Get it at

Call for Participation: Mancoosi International Solver Competition


Ralf Treinen announced:
The Mancoosi International Solver Competition (MISC)
Call for Participation

IRILL, the the Center for Research and Innovation on Free Software,
calls for the third international competition of solvers for
package/component installation and upgrade problems. Instances of
these problems are given by a set of currently installed or available
software packages, with complex relations between them like
dependencies, conflicts, and features. The problem instances used in
the competition are expressed in a language called CUDF that allows to
express relationships between components like they are known for
instance in GNU/Linux distributions, or for Eclipse plugins. We are
not only interested in finding some solution to such a problem, but in
finding the best solution according to different optimization
criteria. For a detailed description please look at the competition
web page

Participating solvers will be judged by the correctness of the
solution, the quality of the solution according to the respective
optimization criteria, and speed. The results of the competition will
be announced on September, 8, at the LoCoCo workshop at ICLP 2012

- August, 1: Registration of participants by email to
misc-committee at
- August, 13: Submission of solvers
- September, 8: announcement of the results

PEPM 2013: Preliminary Call for Papers


scm-ml announced:
                        P R E L I M I N A R Y

                    C A L L   F O R   P A P E R S

                        === P E P M  2013 ===

                       ACM SIGPLAN Workshop on 
            Partial Evaluation and Program Manipulation 


                         January 20-21, 2013 
                             Rome, Italy
                     (Affiliated with POPL 2013)

** SUBMISSION DEADLINE: ** late September/early October (precise date
to be announced on the website shortly)

(Editor's note: to see the full CFP, please follow the archive link.)

Appel à communication, JFLA 2013


Damien Pous announced:
JFLA'2013 (

Journées Francophones des Langages Applicatifs

Organisées par l'INRIA,
à Aussois, du 3 février au 6 février 2013


Date limite de soumission : 12 octobre 2012

(Note de l'éditeur: l'appel à contributions complet peut être trouvé en
suivant le lien ci-dessus.)

FAN 0.1


Bob Zhang announced:
Fan ,
a* type-directed generic programming framework for OCaml*
Using Fan, a programmer can easily create generic libraries
for type-directed
programs, including pretty printing, equality, serialization and
deserialization, data generation, generic traversals, folds, etc.

Compared with deriving, Fan is mainly
different in such aspects:
1. It generate code *without touching your source tree*, module is
the basic unit. We generated code* fo**r all modules in ocaml's compiler*
*parsing/, typing/, and bootstrapped camlp4 source tree itself*.
Check here
All modules beginning with Fan_ocaml is generated code for ocaml compiler
Fan_camlp4ast_o is for camlp4ast itself.
2. composable.  All extended syntax are in our mini dsl language "fan"
without polluting the original syntax
3. Lightweight   Check the modules
we write generic printing, equality, map, fold traversal, etc,* 9 generic
plugins in less than 200 lines of code*.

It's still at alpha stage, and I have some ideas that need to be polished, *I
would be happy **to hear any feedback.* We hope that FAN can benefit ocaml
community* as a camlp4 platform.* Fan's code base is pretty small, all the
Ast Transformations are based on quasi-quotations. The only exception is
TyDcl which has no counter-part and Ast Lifting, since *the current camlp4
does not support  macro syntax in **common lisp something like ``(,,).*
Bob Zhang later added:
It's planned to release after ocaml's 4.00 release since some ideas still
need to be polished
 but you can have a look to get a general idea.
One thing to add is that *Fan is not just a generic printer, it is a
framework that*
*you can write generic printer or whatever you want in tens of lines* :-)

Commercial Users of Functional Programming 2012: Call for Presentations


Ashish Agarwal announced:
This is the final reminder for submitting a CUFP talk proposal. The deadline
is June 29th. I especially encourage talks from readers of this list, so the
community can hear about the interesting work being done in OCaml.

Commercial Users of Functional Programming 2012: Call for Presentations

                             CUFP 2012
                       CALL FOR PRESENTATIONS
                        Copenhagen, Denmark
                             Sep 13-15
                     Co-located with ICFP 2012
                        Sponsored by SIGPLAN
           Talk Proposal Submission Deadline 29 June 2012

(Editor's note: please find the full CFP at the url above.)

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

Reusing JavaScript libraries: JQuery UI:

ocaml-extunix 0.0.5:

ocaml-gperftools 0.1:

Reading papers on CPS, SSA, ANF and the likes:

ocaml-gperftools 0.1 released:

ocaml-extunix 0.0.5 released:

gperftools bindings:

Quick histograms:

OCaml Markdown:

xavierbot lives!:

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