On Sat, 2005-07-23 at 14:34 +0200, Xavier Leroy wrote: > In other terms: > > " I was walking in the city the other day. I saw a syringe lying on > the sidewalk. I stuck the needle in my forearm. That was a classy > neighborhood, so the use of the syringe seemed justified. " > > Sorry for being sarcastic, but I strongly feel that any suggestion > to use Obj functions should be avoided on this list. > Coming back to the initial question, I would first warn against > premature optimization: quite possibly the overhead of the "option" > solution is negligible. If not, just ask the user to pass an initial > value of the heap element type to the "create heap" function. I would appreciate an officially supported variable length array a lot: it can't be efficiently implemented *without* Obj.magic. -- John Skaller