Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:98481
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain devilix.net designates 74.125.82.181 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <6BDFA788-B52E-42BE-8794-50959D3A81BE@gmail.com>
References: <CAPhkiZzs=kLF-JKBjX4bVgADz+nonERWuZYiYo8cXA=GrXKU=g@mail.gmail.com>
 <f60b8e05-c5d8-0437-37b5-a4b23911fdbb@fleshgrinder.com> <fb25f8bc-2b7c-a27d-6861-039b67c19971@gmail.com>
 <CAPhkiZzus6-LW8g-fxeBYymEq2FGLOfMS2DKZ16KPOXfaxr+AQ@mail.gmail.com>
 <24efb0e7-b0e3-68ed-5f42-2d5481f8f291@gmail.com> <CAPhkiZwr0Xff-+NR1OE7cnVD7AoHKRBR43h0S76TfWdrjK6kaA@mail.gmail.com>
 <44add374-6c4b-399a-c542-8d7f100dfaa3@fleshgrinder.com> <CAPhkiZyFOxDgubcdpxwSXVRVjim-2ALzN9gYs7D6gvf6UXqeAw@mail.gmail.com>
 <cb81577f-5f0f-b10c-902c-2f17e7fc145b@fleshgrinder.com> <CAPhkiZz6dm4ySNJTD_j21DKcGGGDPZnAUFUp_wOt9XBQfFFgzA@mail.gmail.com>
 <D231949A-8A25-4BFF-A50B-553A70BE6B1E@gmail.com> <CAPhkiZyi79b5b2psvvCdKnOJN8j4gQpeFs=JwOjHewEGqv3dyw@mail.gmail.com>
 <2AB030D8-9677-4E0E-8215-07D77910E51B@gmail.com> <fcd94c2d-23d1-6054-41ec-fb975f633d38@fleshgrinder.com>
 <CAPhkiZwOA8GEiJCmVk9x5pO+iLmVD7jm3wHPBQMcnfGaFPeJ6Q@mail.gmail.com> <6BDFA788-B52E-42BE-8794-50959D3A81BE@gmail.com>
Date: Sat, 11 Mar 2017 15:53:10 +0200
Message-ID: <CAPhkiZxjRykcmmD56_GP=8mk-JY-Byg55hrCf5SCW9YLKOF1kw@mail.gmail.com>
To: Rowan Collins <rowan.collins@gmail.com>
Cc: "internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [Discussion] is_string(), string type and objects
 implementing __toString()
From: narf@devilix.net (Andrey Andreev)

On Sat, Mar 11, 2017 at 3:34 PM, Rowan Collins <rowan.collins@gmail.com> wrote:
> On 11 March 2017 13:23:16 GMT+00:00, Andrey Andreev <narf@devilix.net> wrote:
>>Ironically enough, the following code executes silently:
>>
>>    $array = ['a', 'b', 'c'];
>>    sort($array, '2234234324');
>>
>>If you don't see the problem with that, I guess it does make "no sense
>>at all" from your POV. Just agree to disagree.
>
>
> I see a problem with that, but I see exactly the same problem with this:
>
> $array = ['a', 'b', 'c'];
> sort($array, 2234234324);
>
> The fact is, "int" is far too loose a type constraint to meaningfully validate that parameter. The solution to that is not to be more strict in rejecting strings, but to create richer types of constraint: enums, unions, domains, etc.
>

I don't disagree with that in general, but strictly rejecting strings
and other non-integer values would alleviate the problem for a
majority of cases; i.e. would solve the 90% problem.

What I strongly disagree on is that I should be happy with coercion,
and the almost religious resistance against (non-overridable) strict
scalar typing.

Cheers,
Andrey.