From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA25504; Wed, 12 Mar 2003 18:20:19 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 SAA25352 for ; Wed, 12 Mar 2003 18:20:18 +0100 (MET) Received: from annexia.org ([217.79.102.70]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h2CHKHX28289 for ; Wed, 12 Mar 2003 18:20:17 +0100 (MET) Received: (from rich@localhost) by annexia.org (8.12.8/8.12.8) id h2CHKFVB011586 for caml-list@inria.fr; Wed, 12 Mar 2003 17:20:15 GMT Date: Wed, 12 Mar 2003 17:20:13 +0000 From: "Richard W.M. Jones" Cc: Ocaml Mailing List Subject: Re: [Caml-list] Checked exceptions and type inference Message-ID: <20030312172011.GB11435@redhat.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.3.25i X-Spam: no; 0.00; caml-list:01 inference:01 0600,:01 freshmeat:01 dbi:99 threads:01 ocaml:01 london:97 wrote:03 library:03 exceptions:04 efficient:05 redhat:05 red:94 derived:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Mar 11, 2003 at 03:50:13PM -0600, Brian Hurt wrote: > Is there any research on using checked exceptions in an ML derived > language? Any plans/opinions on implementing checked exceptions in Ocaml? Please no. Having written the following thousands of times I am no fan of checked exceptions ... try { ... the code I WANTED to write ... } catch (IOException ex) { throw new UncheckedWrapperException (ex); } catch (SecurityException ex) { throw new UncheckedWrapperException (ex); } catch (SomeException ex) { throw new UncheckedWrapperException (ex); } catch (AnotherException ex) { throw new UncheckedWrapperException (ex); } catch (SomeOtherException ex) { throw new UncheckedWrapperException (ex); } Rich. -- Richard Jones, Red Hat Inc. (London, UK) http://www.redhat.com/software/ccm http://www.annexia.org/ Freshmeat projects: http://freshmeat.net/users/rwmj PTHRLIB is a library for writing small, efficient and fast servers in C. HTTP, CGI, DBI, lightweight threads: http://www.annexia.org/freeware/pthrlib/ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners