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 UAA16715; Fri, 20 Jul 2001 20:54:15 +0200 (MET DST) 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 UAA16702 for ; Fri, 20 Jul 2001 20:54:14 +0200 (MET DST) Received: from snfc21.pbi.net (mta5.snfc21.pbi.net [206.13.28.241]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f6KIsDP26841 for ; Fri, 20 Jul 2001 20:54:13 +0200 (MET DST) Received: from checkerlap.d6.com ([64.160.52.30]) by mta5.snfc21.pbi.net (iPlanet Messaging Server 5.1 (built May 7 2001)) with ESMTP id <0GGS00JIICDUYE@mta5.snfc21.pbi.net> for caml-list@inria.fr; Fri, 20 Jul 2001 11:51:31 -0700 (PDT) Date: Fri, 20 Jul 2001 11:49:36 -0700 From: Chris Hecker Subject: Re: [Caml-list] Dequeues (was Generation of streams is slow) In-reply-to: X-Sender: def6@shell16.ba.best.com To: "Krishnaswami, Neel" , caml-list@inria.fr Message-id: <4.3.2.7.2.20010720114757.027ffe80@shell16.ba.best.com> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Content-type: text/plain; charset=us-ascii Content-transfer-encoding: 7BIT Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >The usual argument for them is that there's a strong temptation >to avoid proper data abstraction in ML because pattern-matching >is so convenient, and the usual argument against them is that >they make estimating the performance costs of pattern-matching >impossible, since a match could be an arbitrarily expensive >function call. I've seen this "argument against" a number of times before on this list (like when people wanted constants in patterns), and I don't understand it. What's the rationale for trying to protect the programmer from making slow code at the expense of useful and expressive features? Chris ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr