Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:106860
MIME-Version: 1.0
References: <CAJVEVObtRNX_1VWtd35bKKYm_Z9RY=kgx78VY3T3cuFhWMR=5g@mail.gmail.com>
 <CABdc3WpzBP7uYvsHPGeuW7+W+KSZpw7QCGwm706jz2LBS59hpw@mail.gmail.com>
 <CANS-=pco95mG_6AmZhFYJ-ig8UEagZoR-MZ65AVEAm9foDZdhg@mail.gmail.com> <CAH0Uv3EiZbG8gqf-Bhey-SKasZOrBosszmTJvR2ET+dMiwYD7A@mail.gmail.com>
In-Reply-To: <CAH0Uv3EiZbG8gqf-Bhey-SKasZOrBosszmTJvR2ET+dMiwYD7A@mail.gmail.com>
Date: Wed, 4 Sep 2019 11:01:30 -0700
Message-ID: <CAHN63oPP600RdRgtcUf08_0pYrSPnUx5+71zvc7Vxy+GZ8VW-A@mail.gmail.com>
To: Andreas Hennings <andreas@dqxtech.net>
Cc: Lynn <kjarli@gmail.com>, =?UTF-8?Q?Micha=C5=82_Brzuchalski?= <michal.brzuchalski@gmail.com>, 
	Fwentish Aelondes <fwentish@gmail.com>, PHP Internals List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000004291ae0591bdff1c"
Subject: Re: [PHP-DEV] Silent Types
From: mo.mu.wss@gmail.com ("M. W. Moe")

--0000000000004291ae0591bdff1c
Content-Type: text/plain; charset="UTF-8"

Hello,

this would be very possible constant with the actual without breaking BC

allow declare var = value : type; -> throws if assignment + type  fails
the grammar context is exactly the same than a function return.

Best.


On Wed, Sep 4, 2019 at 10:18 AM Andreas Hennings <andreas@dqxtech.net>
wrote:

> On Wed, 4 Sep 2019 at 09:22, Lynn <kjarli@gmail.com> wrote:
> >
> > Note that this behavior would require making some decisions whether or
> not
> > in the future this opt-in behavior should change when a default value is
> > given, such as with C# and type inference when declaring a variable,
> based
> > on its assigned value.
>
> I think this would too easily lead to mistakes.
> E.g. if in a git commit, "$x = 5.6;" is replaced with "$x = 5;" or "$x
> = '5.6';", then would a reviewer notice that this implicitly changes
> the type?
> Also, what if the initialization is inside an if branch? Later the
> if/else gets reordered, or one of the conditional branches gets
> removed, and the variable changes its type?
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--0000000000004291ae0591bdff1c--