From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA16170 for caml-redistribution@pauillac.inria.fr; Wed, 26 Jan 2000 10:36:36 +0100 (MET) Resent-Message-Id: <200001260936.KAA16170@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA31016 for ; Wed, 26 Jan 2000 02:26:44 +0100 (MET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id CAA09252 for ; Wed, 26 Jan 2000 02:26:41 +0100 (MET) Received: from localhost (sansho.kurims.kyoto-u.ac.jp [130.54.16.90]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id KAA21150; Wed, 26 Jan 2000 10:26:34 +0900 (JST) To: David.Mentre@irisa.fr Cc: caml-list@inria.fr Subject: Re: OCaml3 and label things In-Reply-To: Your message of "25 Jan 2000 14:03:20 +0100" References: X-Mailer: Mew version 1.93 on Emacs 20.5 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=iso-8859-1 Message-Id: <20000126102222J.garrigue@kurims.kyoto-u.ac.jp> Date: Wed, 26 Jan 2000 10:22:22 +0900 From: Jacques Garrigue X-Dispatcher: imput version 980905(IM100) Resent-From: weis@pauillac.inria.fr Resent-Date: Wed, 26 Jan 2000 10:36:36 +0100 Resent-To: caml-redistribution@pauillac.inria.fr From: David.Mentre@irisa.fr (David Mentré) > > On the way to OCaml 3.00 > = > By the way, I'm new to current OCaml (2.x) and I don't know anything > about all those Label things and new Ocaml 3 features that everybody is > talking about in this list. Is there any introducing paper or research > report which explains those new features (how and why)? (a kind of OCaml > 3 for the dummies) There is no such thing currently (greatly needed I'm afraid). There are however two sources of information: * the OCaml 2.99 user manual. There is a section in the tutorial, and explanations are added at related places in the reference manual. * Objective Label related material. The new features are taken from it, but slightly modified to make them more robust. http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ [francais] Il n'y a pas de document expliquant uniquement les nouvelles fonctionnalites d'ocaml 3, mais il y a des informations dans le manuel de l'utilisateur d'ocaml 2.99, et on peut aussi lire les informations concernant olabl a` l'adresse ci-dessus (meme si elles ne s'appliquent pas totalement). Jacques --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG