Re: [VOTE] Reserve even more type hints

From: 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 [email protected] to get a copy of this message
On 17 March 2015 at 07:08, Leigh <[email protected]> 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.


Thread (11 messages)

« previous php.internals (#85114) next »