Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83801
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.179 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAAyV7nE_5Wm+tJomZgO+h6VCNYdmEh7kmCSNZn2L1ykMAYC6vQ@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>
	<CAAyV7nE_5Wm+tJomZgO+h6VCNYdmEh7kmCSNZn2L1ykMAYC6vQ@mail.gmail.com>
Date: Wed, 25 Feb 2015 19:37:24 +0400
Message-ID: <CA+9eiLt5Lj0HDPHWkJ6F8UsEVBYT+Bo7X6nh6y=PdFpgmpWorQ@mail.gmail.com>
To: Anthony Ferrara <ircmaxell@gmail.com>
Cc: Niktia Nefedov <inefedor@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a1133e5f27b2e59050feb69da
Subject: Re: [PHP-DEV] Re: [RFC-Discuss] Scalar Type Declarations v0.5
From: dmitry@zend.com (Dmitry Stogov)

--001a1133e5f27b2e59050feb69da
Content-Type: text/plain; charset=UTF-8

On Wed, Feb 25, 2015 at 6:24 PM, Anthony Ferrara <ircmaxell@gmail.com>
wrote:

> 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?
>

I expected the same, especially because I read the code.


> 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?
>

You already saw, at least one who was in time to make mistake.
I was expecting this :)

Thanks. Dmitry.


>
> Anthony
>

--001a1133e5f27b2e59050feb69da--