Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:85113
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.220.182 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CA+kxMuSJmWGQrVwr5Wjeyq7sqShxbvvd3sQXxpWNuPjU0V7ODw@mail.gmail.com>
References: <CAESVnVoL90DRhehrXVk9EpC2SxDNBu2-o-J69+F9s-GY2K3pRQ@mail.gmail.com>
	<CA+kxMuSJmWGQrVwr5Wjeyq7sqShxbvvd3sQXxpWNuPjU0V7ODw@mail.gmail.com>
Date: Tue, 17 Mar 2015 07:08:52 +0000
Message-ID: <CAPwsocFDaDqchKmxR8aGt8P2-CKNdKtLwmSHmWY5kEpZ0NP42A@mail.gmail.com>
To: Dan Ackroyd <danack@basereality.com>
Cc: Sara Golemon <pollita@php.net>, PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e01628326a7af75051176a334
Subject: Re: [PHP-DEV] [VOTE] Reserve even more type hints
From: leight@gmail.com (Leigh)

--089e01628326a7af75051176a334
Content-Type: text/plain; charset=UTF-8

On 16 March 2015 at 23:37, Dan Ackroyd <danack@basereality.com> wrote:
>
> In particular the keywords 'Resource' and 'mixed' seem to have limited
> need to be reserved. I don't believe there has been any suggestion
> that either of these would actually be used as types for PHP 7.x. So
> making them be unusable seems to be a large BC hit for no gain for
> people who currently have classes that use them
>

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's possible that people are voting yes to reserve these two words,
> without fully considering whether they should be reserved or not. I
> can see that all of 'object', 'scalar', and 'numeric' have been
> proposed as part of future improvements to PHP's type system.
>

I don't really like scalar or numeric (but I'm in the strict types camp and
I think if union types ever make it in, they should be user definable).

Object makes sense to me though, apart from resource it's the only one that
represents a single underlying type.

--089e01628326a7af75051176a334--