From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id ED389BC0A for ; Mon, 11 Dec 2006 18:28:06 +0100 (CET) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.170]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBBHS6Gn000602 for ; Mon, 11 Dec 2006 18:28:06 +0100 Received: by ug-out-1314.google.com with SMTP id k3so1323514ugf for ; Mon, 11 Dec 2006 09:28:06 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:references:x-google-sender-auth; b=nyBEhTncUhebeikogrdQK634OY4mgaoWaFUBjzbsyz/hKN+rgB+PFq0BqZ899vcbSX1TthkIUYIFXbJ/u7Kkj70QG3QQugcXqRCKzIc70wLpFbDZABqvmxTf1UUz0mwGtEF6GW4xVyVtsuQ4Z9VICOCmoKNaFXvBXuXCYmyOFko= Received: by 10.67.27.3 with SMTP id e3mr3923183ugj.1165858085601; Mon, 11 Dec 2006 09:28:05 -0800 (PST) Received: by 10.66.243.3 with HTTP; Mon, 11 Dec 2006 09:28:05 -0800 (PST) Message-ID: <2a1a1a0c0612110928q54567a7fld4e0d9afc9845f62@mail.gmail.com> Date: Mon, 11 Dec 2006 12:28:05 -0500 From: "Mike Lin" Sender: nilekim@gmail.com To: caml-list@inria.fr Subject: Re: [Caml-list] Today's inflamatory opinion: exceptions are bad In-Reply-To: <20061210180426.GA5347@furbychan.cocan.org> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_133893_7948956.1165858085498" References: <875c7e070612091935q2388092dr51538ff444d0e3a6@mail.gmail.com> <20061210180426.GA5347@furbychan.cocan.org> X-Google-Sender-Auth: 1ab032540e871d62 X-Miltered: at discorde with ID 457D9526.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; mikelin:01 runtime:01 markus:01 mottl's:01 ocaml:01 o'caml:01 whereby:01 compiler:01 beginner's:01 ocaml:01 bug:01 runtime:01 markus:01 mottl's:01 o'caml:01 ------=_Part_133893_7948956.1165858085498 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline Reasonable people can certainly dislike checked exceptions, but if you're against them, then you should at least demand that your goddamned runtime system tell you where exceptions are coming from. Is Markus Mottl's patch making OCaml 3.10? Bueller? Bueller? On 12/10/06, Richard Jones wrote: > > On Sat, Dec 09, 2006 at 10:35:56PM -0500, Chris King wrote: > > One thing Java (sort of) gets right is keeping track of which > > exceptions a function can throw, making it easy to ensure that some > > deeply nested piece of code won't cause the entire application to die > > from some obscure exception. I'd love to see a similar feature in > > O'Caml, whereby the exceptions which a function can raise are part of > > its type and are inferred and checked by the compiler. > > Oh please no! Checked exceptions are the dumbest and most frustrating > feature of Java (and that's saying something - the Java language has > far more frustrations than most programming languages). > > Rich. > > -- > Richard Jones, CTO Merjis Ltd. > Merjis - web marketing and technology - http://merjis.com > Internet Marketing and AdWords courses - http://merjis.com/courses - NEW! > Merjis blog - http://blog.merjis.com - NEW! > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > ------=_Part_133893_7948956.1165858085498 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Reasonable people can certainly dislike checked exceptions, but if you're against them, then you should at least demand that your goddamned runtime system tell you where exceptions are coming from. Is Markus Mottl's patch making OCaml 3.10? Bueller? Bueller?

On 12/10/06, Richard Jones <rich@annexia.org> wrote:
On Sat, Dec 09, 2006 at 10:35:56PM -0500, Chris King wrote:
> One thing Java (sort of) gets right is keeping track of which
> exceptions a function can throw, making it easy to ensure that some
> deeply nested piece of code won't cause the entire application to die
> from some obscure exception.  I'd love to see a similar feature in
> O'Caml, whereby the exceptions which a function can raise are part of
> its type and are inferred and checked by the compiler.

Oh please no!  Checked exceptions are the dumbest and most frustrating
feature of Java (and that's saying something - the Java language has
far more frustrations than most programming languages).

Rich.

--
Richard Jones, CTO Merjis Ltd.
Merjis - web marketing and technology - http://merjis.com
Internet Marketing and AdWords courses - http://merjis.com/courses - NEW!
Merjis blog - http://blog.merjis.com - NEW!

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

------=_Part_133893_7948956.1165858085498--