Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83797
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.182 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CA+9eiLta4C0rLKyQh6B91f6vyeLOPHsUOQJaa9NJZ3kLi4XB9w@mail.gmail.com>
References: <CAAyV7nGjdguX=4Nt0H=kYnwg8rZ1BkWf8duGZfzheOXXV61pqA@mail.gmail.com>
	<CAAyV7nE+JJPr4iRiFfJg74UVZ_c6HieOmpPQWe6zwnY==m7Zhw@mail.gmail.com>
	<CAAyV7nGOh7FgkbkPGwALmU4SDOs=LvkijAPJeNcG3qrMo7-z-Q@mail.gmail.com>
	<CAAyV7nFfzaw=M0En4_3Lt5MYQ7H+ePCzFOuM4wndehxJER7NXQ@mail.gmail.com>
	<CA+9eiLuuH7v4Vvf8iDzvh=vho9mdPUpvSVHwuP6+JdNVkqLS9A@mail.gmail.com>
	<CA+9eiLup3jEPcQaNbEQXQ8js0t9-thVRG8fCXHScL3K=aU20Ow@mail.gmail.com>
	<op.xul2slya7q1gix@nikita-hp-elitebook-750-g1>
	<CA+9eiLsuK7G-Wz3PfV5=aEQeUQk4RDYARNd7JSFWAynyY4o0-A@mail.gmail.com>
	<CAAyV7nFBi=DiWzc7rn-od5LXDsPsNBR=pi5YefSg8Z9ocRZ4BQ@mail.gmail.com>
	<CA+9eiLta4C0rLKyQh6B91f6vyeLOPHsUOQJaa9NJZ3kLi4XB9w@mail.gmail.com>
Date: Wed, 25 Feb 2015 10:24:21 -0500
Message-ID: <CAAyV7nE_5Wm+tJomZgO+h6VCNYdmEh7kmCSNZn2L1ykMAYC6vQ@mail.gmail.com>
To: Dmitry Stogov <dmitry@zend.com>
Cc: Niktia Nefedov <inefedor@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Re: [RFC-Discuss] Scalar Type Declarations v0.5
From: ircmaxell@gmail.com (Anthony Ferrara)

Dmitry

On Wed, Feb 25, 2015 at 10:20 AM, Dmitry Stogov <dmitry@zend.com> wrote:
>
>
> On Wed, Feb 25, 2015 at 6:06 PM, Anthony Ferrara <ircmaxell@gmail.com>
> wrote:
>>
>> Dmitry:
>>
>> On Wed, Feb 25, 2015 at 7:55 AM, Dmitry Stogov <dmitry@zend.com> wrote:
>> > On Wed, Feb 25, 2015 at 2:42 PM, Niktia Nefedov <inefedor@gmail.com>
>> > wrote:
>> >
>> >> On Wed, 25 Feb 2015 16:30:32 +0400, Dmitry Stogov <dmitry@zend.com>
>> >> wrote:
>> >>
>> >>  anyone may tell, what this will print without running :)
>> >>>
>> >>> main.php
>> >>> ========
>> >>> <?php
>> >>> declare(strict_types=1)
>> >>> include "a.php";
>> >>> include "b.php";
>> >>> var_dump(foo("5"));
>> >>> ?>
>> >>>
>> >>> a.php
>> >>> =====
>> >>> <?php
>> >>> declare(strict_types=0)
>> >>> function foo(string $a): string {
>> >>>     bar($a);
>> >>>     return $a;
>> >>> }
>> >>> ?>
>> >>>
>> >>> b.php
>> >>> =====
>> >>> <?php
>> >>> declare(strict_types=1)
>> >>> function bar(int &$a) {
>> >>>     var_dump($a);
>> >>> }
>> >>> ?>
>> >>>
>> >>> Thank. Dmitry.
>> >>>
>> >>
>> >>
>> >> Hi Dmitry,
>> >>
>> >> This will error out because $a in the scope of `foo` will be coerced to
>> >> int type when passed to bar by reference.
>> >>
>> >
>> > I think it'll work without errors and produce some explainable but weird
>> > output. I didn't run it myself yet.
>>
>> "Weird"?
>>
>> int(5)
>> string(1) "5"
>>
>> How is that weird? That's precisely what you asked it to do.
>
>
> I just think that not allbody understand this and expect something
> different.

Looking at that code, even not knowing this RFC and the details of the
implementation, what would you expect to be different about it?

Now, having read the RFC and played with the patch (even though you
admitted that you didn't), what would you expect to be different?

Anthony