Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123960
Precedence: bulk
MIME-Version: 1.0
References: <be7bc3e2-ce2b-422f-9f3a-743829f1e1be@scriptfusion.com>
 <A8ECC81C-99C7-47FB-B0C0-C2166F1AA43E@miles.systems> <CAAGC1Ov8LniFwvB+Bs93hEv1wSXZ9xJ3SJDpYYzzTcEW2Yt-TQ@mail.gmail.com>
In-Reply-To: <CAAGC1Ov8LniFwvB+Bs93hEv1wSXZ9xJ3SJDpYYzzTcEW2Yt-TQ@mail.gmail.com>
Date: Thu, 27 Jun 2024 14:15:56 -0600
Message-ID: <CAAKU0u=w12chvWGsbCyuiXp14RcQ0boDd7i7MmeooWCOd9Cn+g@mail.gmail.com>
Subject: Re: [PHP-DEV] [Initial Feedback] Typed Arrays
To: radar3301 <radar3301@gmail.com>
Cc: internals@lists.php.net
Content-Type: text/plain; charset="UTF-8"
From: levi.morrison@datadoghq.com (Levi Morrison)

> Is there a reason why traits can't be used to introduce generics?
> i.e. extending the code that composes the trait into the class to
> replace the generic type? eg. in `zend_add_trait_method`?
> (I couldn't quickly find where trait properties get added, even
> though my example is for properties.)
>
> trait GenericTrait<T>
> {
> private ?T $object = null;
> }
>
> class ComposableClass
> {
>     use GenericTrait<Foo>;
> }
>
> // Result:
> class ComposedClass
> {
>     private ?Foo $object = null;
> }
>
> Just a random thought...
>
> Regards,
> radar3301

I worked with Joe Watkins to do a proof-of-concept for generic traits.
It's a bit old since it's from 2017, but could be a useful starting
point if you are serious about pursuing this idea:

https://github.com/php/php-src/compare/master...morrisonlevi:php-src:parameterized_traits