On Mon, Jan 4, 2021 at 4:58 PM Levi Morrison via internals <
internals@lists.php.net> wrote:
> On Tue, Dec 29, 2020 at 10:04 AM tyson andre
> wrote:
> >
> > Hi Internals,
> >
> > Currently, PHP doesn't have a built in memory-efficient array type with
> convenient push, pop, and other operations,
On Tue, Dec 29, 2020 at 10:04 AM tyson andre wrote:
>
> Hi Internals,
>
> Currently, PHP doesn't have a built in memory-efficient array type with
> convenient push, pop, and other operations, similar to a list/vector in other
> languages.
> The closest built in in SPL is
> [SplFixedArray](https
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.
On Tue, 29 Dec 2020 at 18:04, tyson andre wrote:
> Hi Internals,
>
> Currently, PHP doesn't have a built in memory-efficient array type with
> convenient push, pop, and other operations, similar to a list/vector in
> other languages.
> The closest built in in SPL is [SplFixedArray](
> https://www
Hi Internals,
Currently, PHP doesn't have a built in memory-efficient array type with
convenient push, pop, and other operations, similar to a list/vector in other
languages.
The closest built in in SPL is
[SplFixedArray](https://www.php.net/manual/en/class.splfixedarray.php)
https://www.php.n
