From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p18Nvl7f021215 for ; Wed, 9 Feb 2011 00:57:47 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtAAAFdnUU3RVdy2mWdsb2JhbACXJY4VCBUBAQEBAQgLCgcRJKMfmhqFWgSEe4ZviC86 X-IronPort-AV: E=Sophos;i="4.60,444,1291590000"; d="scan'208";a="90934628" Received: from mail-vx0-f182.google.com ([209.85.220.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 09 Feb 2011 00:57:41 +0100 Received: by vxa40 with SMTP id 40so3065707vxa.27 for ; Tue, 08 Feb 2011 15:57:40 -0800 (PST) Received: by 10.220.184.10 with SMTP id ci10mr4739138vcb.198.1297209460347; Tue, 08 Feb 2011 15:57:40 -0800 (PST) Received: from osx.som.umaryland.edu ([134.192.133.104]) by mx.google.com with ESMTPS id e18sm40367vbm.15.2011.02.08.15.57.38 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 08 Feb 2011 15:57:39 -0800 (PST) Message-Id: <50AF76A1-30E0-4735-AFB2-88BB603899CE@ezabel.com> From: orbitz@ezabel.com To: caml-list@inria.fr Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v936) Date: Tue, 8 Feb 2011 18:57:37 -0500 X-Mailer: Apple Mail (2.936) Subject: [Caml-list] Scoped Bound Resource Management just for C++? One of the benefits, in my opinion, of C++ is SBRM. You can reason about the lifetime of an object and have an give yourself guarantees about its clean up. The method of initialization and clean up are also consistent for every object in the language. My questions are: 1) Do other people in the FP world consider this to be a good strategy? 2) Can this be done in a sane way in a GCd language? 3) What are the alternatives in a language like Ocaml? Thanks!