From:	 David Mentre <David.Mentre@inria.fr>
To:	 lwn@lwn.net
Subject: Attn: Development Editor, Latest Caml Weekly News
Date:	 18 Jul 2001 11:25:43 +0200

Ultra quick Caml Weekly News (July 10 to 18, 2001).

Disclaimer: 
 I had problem with the mailing list so I may have missed some
 news. Sorry.

=============================
1) Some sugar for regexp matching using camlp4
-----------------------------
I have experimented a bit with custom syntax for regular expression
matching. My goal was to implement some high-level constructs on top
of a low-level regexp library such as PCRE. The result of my (modest)
experiment is attached. It is a camlp4 grammar extension, which allows
writing

  extract x, y, ... matching e against r in e'

The semantics is as follows. The expression e is evaluated, yielding
a string which is matched against the regular expression r. r must be
either a constant string, or a compiled regular expression; if the
former, pre-compilation code is inserted transparently. The variables
x, y, ... etc. are then bound to the appropriate groups (i.e. x is
bound to the sub-string which matched the whole pattern, y is bound
to the sub-string which matched the first group, etc.) and can be
referred to within e'. Wildcards _ can be used instead of variables.

http://caml.inria.fr/archives/200107/msg00187.html

=============================
2) partial order library
-----------------------------
I'd like to announce the availability of a new library that allows you to
conveniently and efficiently manipulate maps of partially ordered elements
(i.e. also lattice structures) in a purely functional way. Such structures
are often needed in various areas of computer science and artificial
intelligence (e.g. data-mining, databases, software engineering, etc.).

The distribution also contains an example that can render partial orders
in form of Hasse-diagrams using AT&T's dot-utility. Please read the
distributed README for more details. Here is the link (distribution
"POMAP"):

  http://www.ai.univie.ac.at/~markus/home/ocaml_sources.html

=============================
3) O'Caml Runtime Environment (beta)
-----------------------------
I could solve the remaining problems with ocamlre, the extracted runtime system
for O'Caml. There is now an alternate loader for platforms that have only broken
dlopen support (even static linking is now possible if there are not DLLs at
all).

An introduction:
http://www.ocaml-programming.de/programming/download-bytecode.html

Download sources and selected binaries:
http://www.ocaml-programming.de/packages/ocamlre/

=============================
4) New list for a project about using Caml in web servers
-----------------------------
I propose to continue discussions on a specific mailing-list:
web-caml@quatramaran.ens.fr that I just created.
To subscribe, just send a mail to majordomo@quatramaran.ens.fr
with body "subscribe web-caml".



d.
-- 
 David.Mentre@inria.fr
 Opinions expressed here are only mine.