Browse thread
Re: [Caml-list] Dequeues (was Generation of streams is slow)
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Chris Hecker <checker@d...> |
| Subject: | Re: [Caml-list] Dequeues (was Generation of streams is slow) |
>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