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 TAA13832 for caml-redistribution@pauillac.inria.fr; Tue, 11 Apr 2000 19:49:24 +0200 (MET DST) Resent-Message-Id: <200004111749.TAA13832@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 DAA10639 for ; Mon, 10 Apr 2000 03:41:46 +0200 (MET DST) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id DAA19102; Mon, 10 Apr 2000 03:41:45 +0200 (MET DST) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id DAA30959; Mon, 10 Apr 2000 03:41:40 +0200 (MET DST) From: Markus Mottl Message-Id: <200004100141.DAA30959@miss.wu-wien.ac.at> Subject: Re: cyclic value construction ("let rec") To: Pierre.Weis@inria.fr (Pierre Weis) Date: Mon, 10 Apr 2000 03:41:39 +0200 (MET DST) Cc: caml-list@inria.fr (OCAML) In-Reply-To: <20000410020308.18555@pauillac.inria.fr> from "Pierre Weis" at Apr 10, 2000 02:03:08 AM X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Resent-From: weis@pauillac.inria.fr Resent-Date: Tue, 11 Apr 2000 19:49:24 +0200 Resent-To: caml-redistribution@pauillac.inria.fr > This is perfectly right, and as always with mutable values, you cannot > implement a feature without adding some safeguard conditions. [snip] > type 'a loc = {mutable contents : 'a} as {contents : 'a};; [snip] > This view conception of type exportation could also be generalized to > hide some other information about a type to export: hide some > constructors or labels... Oh, my - if I could already think as fast ahead... This looks indeed not bad and wouldn't even clutter the language! Programs with elaborate record fields would surely benefit - no more read access functions required (saves work both in the implementation and the interface!)... I am now waiting for Xavier to use his feared backhand to play back the ball with another overlooked problem... ;-) Best regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl