From: "Marcin 'Qrczak' Kowalczyk" <qrczak@knm.org.pl>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Re: exception safety / RAII ?
Date: Wed, 09 Mar 2005 23:30:41 +0100 [thread overview]
Message-ID: <87oeds4fla.fsf@qrnik.zagroda> (raw)
In-Reply-To: <87u0nk98df.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org> (Stefan Monnier's message of "Wed, 09 Mar 2005 10:05:26 -0500")
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> Having a GC gives you a freedom when designing an API that is completely
> incomparable to the minor convenience of not having to explicitly
> close files. Compare the success of C++ destructors to deal with
> file-closing and the insufficiency of those same destructors to deal with
> object deallocation (leading to the never ending use of reference counting
> and/or explicit copying).
The fact that GC is useful for freeing memory doesn't imply that we
should have no convenient way for closing files.
IMHO there should be something similar to C# 'using', especially given
that the GC will not close dropped files.
The current semantics of C# 'using' is not enough in the presence
of asynchronous exceptions. If OCaml wants to ever have reliable
asynchronous exceptions, its 'using' should have three distinguished
parts: acquire the resource, use it, and release it.
--
__("< Marcin Kowalczyk
\__/ qrczak@knm.org.pl
^^ http://qrnik.knm.org.pl/~qrczak/
next prev parent reply other threads:[~2005-03-09 22:30 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-03-05 18:16 Michael Benfield
2005-03-05 18:44 ` [Caml-list] " Gerd Stolpmann
2005-03-07 0:03 ` Jon Harrop
2005-03-07 1:32 ` Stefan Monnier
2005-03-07 2:48 ` [Caml-list] " Brian Hurt
2005-03-07 13:30 ` Jon Harrop
2005-03-07 14:37 ` Stefan Monnier
2005-03-07 17:10 ` [Caml-list] " Jon Harrop
2005-03-08 13:07 ` Damien Doligez
2005-03-08 21:56 ` Oliver Bandel
2005-03-09 13:34 ` Damien Doligez
2005-03-09 14:48 ` Stefan Monnier
2005-03-09 16:19 ` [Caml-list] " Jon Harrop
2005-03-09 22:45 ` [Caml-list] Re: exception safety / RAII Oliver Bandel
2005-03-09 23:42 ` Charles Forsyth
2005-03-10 14:33 ` exception safety / RAII ? Stefan Monnier
2005-03-10 16:52 ` [Caml-list] " Jon Harrop
2005-03-11 14:46 ` Michael Walter
2005-03-12 22:54 ` Stefan Monnier
2005-03-07 15:21 ` [Caml-list] " Michael Walter
[not found] ` <200503071729.20117.jon@jdh30.plus.com>
2005-03-07 18:47 ` Michael Walter
2005-03-08 1:10 ` Jon Harrop
2005-03-08 22:19 ` Oliver Bandel
2005-03-08 22:53 ` Daniel Yokomizo
2005-03-09 1:21 ` [Caml-list] " Jon Harrop
2005-03-09 13:21 ` Damien Doligez
2005-03-08 11:33 ` [Caml-list] " Ville-Pertti Keinonen
2005-03-08 12:32 ` Richard Jones
2005-03-08 14:17 ` Michael Walter
2005-03-08 18:28 ` Jon Harrop
2005-03-08 21:34 ` Damien Doligez
2005-03-09 15:05 ` Stefan Monnier
2005-03-09 22:30 ` Marcin 'Qrczak' Kowalczyk [this message]
2005-03-10 14:20 ` Stefan Monnier
2005-03-08 21:32 ` [Caml-list] " Oliver Bandel
2005-03-07 3:31 ` [Caml-list] " Michael Walter
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87oeds4fla.fsf@qrnik.zagroda \
--to=qrczak@knm.org.pl \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).