From:	 David Mentre <David.Mentre@inria.fr>
To:	 lwn@lwn.net
Subject: Attn: Development Editor, Latest CWN
Date:	 19 Jun 2001 14:22:50 +0200

Here is the latest Caml Weekly News, from 12th to 19th of June, 2001.

  Table of Contents
-------------------------------------------------------------

 1) Some notes on interfacing C threads with O'Caml

 2) ocamlweb 1.0

 3) A good introduction to O'Caml in English

 4) Other introductions to O'Caml in English



 1) Some notes on interfacing C threads with O'Caml

-------------------------------------------------------------

In the following message, Xavier Leroy details how an O'Caml program can
interacts with C threads:
http://caml.inria.fr/archives/200106/msg00199.html

 2) ocamlweb 1.0

-------------------------------------------------------------

Jean-Christophe Filliâtre and Claude Marché announced:

It is our  pleasure to announce the release  of ocamlweb 1.0. ocamlweb
is a literate programming tool for Objective Caml (inspired by Knuth's
original Web program, though quite different).

New features w.r.t release 0.9 are:

  o adequacy to ocaml 3.01 parser
  o options -dvi, -ps and -html to produce DVI, PS and HTML directly
  o page style with headings (thanks to Ralf Treinen)
  o insertion into LaTeX preamble with option -p and (*p

ocamlweb is available under LGPL license at 

  http://www.lri.fr/~filliatr/ocamlweb/

Sources, binaries  for Linux  and Solaris, documentation  and examples
can be obtained from this site.

 3) A good introduction to O'Caml in English

-------------------------------------------------------------

Johann Höchtl has given a pointer to a good english introduction to
O'Caml:
 http://www.cs.caltech.edu/cs134/cs134b/book.pdf

Exercises are also available on the same site:
 http://www.cs.caltech.edu/cs134/cs134b/


 4) Other introductions to O'Caml in English

-------------------------------------------------------------

There is also an english introduction to O'Caml in the HOL-Light manual
that can be found at the following URL:
  http://www.cl.cam.ac.uk/users/jrh/hol-light/index.html


Most of the CAML tutorial material here was compressed from an earlier
lecture course [John R Harrison] gave based on CAML. You might also find
the notes for this course interesting:

  http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/index.html

This starts with basic lambda calculus theory before getting into real
CAML programming, so it might not appeal to many programmers. (Indeed,
it didn't appeal to most of the students, as [John R Harrison] recall.)
But this approach does help to emphasize the fundamental theoretical
simplicity of core ML.  And there are some quite nice programming
examples near the end.


d.
--
 David.Mentre@inria.fr -- http://www.irisa.fr/prive/dmentre/
 Opinions expressed here are only mine.

--=-=-


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

--=-=-=--