Re: [VOTE] Reserve even more type hints
| From: | Leigh | Date: | Tue, 17 Mar 2015 07:32:02 +0000 |
| Subject: | Re: [VOTE] Reserve even more type hints | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-85114@lists.php.net to get a copy of this message | ||
On 17 March 2015 at 07:08, Leigh <leight@gmail.com> wrote:
>
> I agree, mixed seems to serve no purpose (just don't hint the parameter,
> same result). Resource is something we're hopefully going to phase out over
> time as they get replaced with objects (like Nikita already did with GMP,
> and hopefully will happen to streams some time between now and 7.1 :)).
>
It has been pointed out to me, that mixed is useful for being explicit,
rather than having a single untyped parameter amongst typed ones, you know
that it was designed to accept anything rather than being an oversight.
Completely valid point.