From: David Mentre <David.Mentre@inria.fr> To: lwn@lwn.net Subject: Attn: Development Editor, Lastest CWN Date: 12 Jun 2001 14:54:19 +0200 Here is the latest Caml Weekly News, from 6th to 12th of June, 2001. ============================================================= Table of Contents ------------------------------------------------------------- 1) ocamlre: O'Caml Runtime Environment 2) tutorial/survey on type theory 3) Why isn't there any "let mutable" in Ocaml? ============================================================= 1) ocamlre: O'Caml Runtime Environment ------------------------------------------------------------- Gerd Stolpmann announced ocamlre: "recently I have extracted the runtime system from the O'Caml distribution, and built a new tarball from it. Furthermore, I included a dynamic loader for system libraries (as discussed on this list some time ago). The resulting interpreter can now execute _all_ O'Caml bytecode executables, and it is dynamically extensible. The goal of ocamlre is to establish O'Caml as a platform-independent language (in the same way as Java). As executables are already platform-independent, the missing component was a separate interpreter (you need not to download, compile and install the full O'Caml distribution to run an application)." PS: You can download ocamlre here: http://www.ocaml-programming.de/packages/ocamlre-3.01-1.tar.gz ============================================================= 2) tutorial/survey on type theory ------------------------------------------------------------- Hao-yang Wang has given a pointer to a tutorial on type theory: See <http://www.luca.demon.co.uk/Bibliography.html>. Look for the articles "Typeful programming" and "Type systems". ============================================================= 3) Why isn't there any "let mutable" in Ocaml? ------------------------------------------------------------- Pierre Weis has given some detailed explanations (from theory and history) why a "let mutable" construct is not necessary in OCaml: http://caml.inria.fr/archives/200106/msg00118.html ============================================================= d. -- David.Mentre@inria.fr -- http://www.irisa.fr/prive/dmentre/ Opinions expressed here are only mine.