On 07/04/2008, David Adam david.adam.cnrs@gmail.com wrote:
I agree that the good implementation is with array.
The bad thing is that we must bound the size of the array ourself. I think that a size of 64 or 128 for the array is enough, right?
Well no, you keep track of the array size and grow it when it's too small when doing a push.