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 DAA23660; Wed, 19 Nov 2003 03:26:58 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id DAA23517 for ; Wed, 19 Nov 2003 03:26:56 +0100 (MET) Received: from herd.plethora.net (herd.plethora.net [205.166.146.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hAJ2Qt120246 for ; Wed, 19 Nov 2003 03:26:55 +0100 (MET) Received: from bhurt.plethora.net (bhurt.plethora.net [205.166.146.49]) by herd.plethora.net (8.11.6/8.10.1) with ESMTP id hAJ2QnC28992; Tue, 18 Nov 2003 20:26:50 -0600 (CST) Date: Tue, 18 Nov 2003 21:26:19 -0600 (CST) From: Brian Hurt X-X-Sender: bhurt@localhost.localdomain To: Martin Berger cc: Caml Mailing List Subject: Re: [Caml-list] GC and file descriptors In-Reply-To: <3FBAC938.8080309@dcs.qmul.ac.uk> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 mli:01 compiler:01 compiler:01 ocaml:01 descriptors:01 nov:01 checking:01 exception:02 wrote:03 types:03 redirect:95 exceptions:04 heaps:04 somewhere:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, 19 Nov 2003, Martin Berger wrote: > one of the key problems with exceptions specifications is of course > that a single change somewhere in a program may trigger heaps of > other code becoming untypable. i can imagine that a simple compiler > switch for turning off exception specification checking during > development would take away much of the pain here. The single change the programmer would have to make in this case is to add a new error case that is not being handled. In which case the compiler is being nice and telling you all the places where you need to think about how to handle this new error case. The biggest problems I see is that there are a number of places in Ocaml where the programmer still has to spell out the types of things- .mli files being the obvious example. -- "Usenet is like a herd of performing elephants with diarrhea -- massive, difficult to redirect, awe-inspiring, entertaining, and a source of mind-boggling amounts of excrement when you least expect it." - Gene Spafford Brian ------------------- 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