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