Re: Proposal: Adding SplFixedArray->push() and SplFixedArray->pop()

Hi Benjamin Morel, > Did you have a look at ext-ds? It provides several very efficient data structures: > https://github.com/php-ds/ext-ds > > I would love if this extension could find its way into core, actually. Yes, I have looked at ext-ds. I asked the maintainer about that a 3 months ago. They'd intended to develop the extension separately from php's release cycle at the time. https://github.com/php-ds/ext-ds/issues/156 SplFixedArray is still more efficient than array, and unrelatedly, I had a proposal to reduce memory usage a bit more: https://github.com/php/php-src/pull/6552 Thanks, - Tyson