On Fri, Jul 30, 2010 at 10:30 AM, David Golden <xdaveg@gmail.com> wrote: > * Why are you suggesting making the extra allocation proportional to > the length of the string? > Note that this is how array currently work. Push expands arrays using the formula new_size = old_size * 2 + 4Thread Previous | Thread Next