[LWN Logo]
[LWN.net]
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.