Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:101597
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.223.172 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAH0Uv3Hq9+roZTrpvgBpe53zuCLmRPpPcd_ZEmUatnDD-Od0OA@mail.gmail.com>
References: <CAEUnE0d+rHG-Rvjt7QAN6x6L+BP5Yb_cz8sGuOFDOkx-kCehkA@mail.gmail.com>
 <9a3a8760-f65a-a5c0-b318-1830a9a986c3@gmail.com> <CAH0Uv3H_DEPZ5HmaKGe08_DMrzndBz7ofJTUgeb4f66zeaj1EA@mail.gmail.com>
 <9352F6DF-9940-49A2-9B1D-FA9258E9738E@lerdorf.com> <bb4579ba-2e09-4199-a871-be4428a1ee2d@lsces.co.uk>
 <ee3d2ffc-a72c-78f3-281b-dd029c706105@gmail.com> <CAEUnE0eShfm4kZck=2gBef6cgU6DdrKggtotUK+Jyk6uPYOYFg@mail.gmail.com>
 <CACXBjugZrXXORVsaFhJzRO_WEiUXnVEHBBuHZysPUGRN6Ls7nw@mail.gmail.com>
 <CAEUnE0ce2HRfsKOy_=NSnrENUnGpB4m-C=cMQFV93MgbaMguOQ@mail.gmail.com>
 <CAHWSxWQHtPZdnfA5P4da4ETpQzFTGB_sKDT73vtM15tbNjYi_A@mail.gmail.com>
 <CACXBjuibgJfRCvp6rpuqZj8BoF9Cdwhmu4oxxqw908NZy4h49w@mail.gmail.com>
 <CAEUnE0cH1ZnCwpYW4njdgM2B6uJsrzQ3AbRtcy2H_-85xX9urw@mail.gmail.com>
 <CACXBjuigt+XZTcQEePZZ56uG6MK=UFAaFX=PVbyYt-Fe6aaKZg@mail.gmail.com>
 <CAH0Uv3F2g-FpqTguuDYm91bfqvA01a=jNroW4=7CQuhzR_G4NQ@mail.gmail.com> <CAH0Uv3Hq9+roZTrpvgBpe53zuCLmRPpPcd_ZEmUatnDD-Od0OA@mail.gmail.com>
Date: Wed, 10 Jan 2018 14:10:20 -0700
Message-ID: <CAHWSxWQuRTpeLjmWEWYfZMWri5b3P0A4j4NEvM1mxyO8Ey44-A@mail.gmail.com>
To: Andreas Hennings <andreas@dqxtech.net>
Cc: Rasmus Lerdorf <rasmus@lerdorf.com>, Michael Morris <tendoaki@gmail.com>, 
	PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="94eb2c05c5ec4e3e2c05627277ef"
Subject: Re: [PHP-DEV] [RFC][DISCUSSION] Strong Typing Syntax
From: ryan.jentzsch@gmail.com (Ryan Jentzsch)

--94eb2c05c5ec4e3e2c05627277ef
Content-Type: text/plain; charset="UTF-8"

In my opinion The Strong Typing Syntax RFC will have less of a chance of
passing a vote than https://wiki.php.net/rfc/typed-properties.
Since the typed-properties RFC was confined to properties on a class (and
looking at the code it appears to me that it wasn't too difficult to
implement the type strictness constraints). Sadly, even after it was shown
to have minimal effect on performance the RFC was still shot down.

Strong Typing Syntax I would think is even more complicated given this
touches ALL zval processing internally. The concern of "expensive run-time
checks" can of course be mitigated by requiring declare(strict_types=1) to
enable/allow strong typing syntax.
I'd love to see Strong Typing Syntax in PHP but realistically, given the
past history, this RFC will need to target version 8.


On Wed, Jan 10, 2018 at 12:25 PM, Andreas Hennings <andreas@dqxtech.net>
wrote:

> Whether we work with runtime type checks or compile-time static analysis:
> The user-facing language design questions would still be the same, right?
> E.g. we would still have to distinguish type-locked parameter values
> vs dynamically typed parameter values.
>
> On 10 January 2018 at 20:23, Andreas Hennings <andreas@dqxtech.net> wrote:
> > On 10 January 2018 at 19:59, Rasmus Lerdorf <rasmus@lerdorf.com> wrote:
> >>
> >> Now if the RFC was a plan for baking a compile-time static analysis
> engine
> >> into PHP itself, that would be interesting. But that is a *massive*
> project.
> >
> > Even with my limited understanding of the engine, I can imagine this
> > to be a lot of work.
> > But it sounds much better to me than adding more expensive runtime type
> checks.
> > I think it would be worth exploring as a long-term direction.
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--94eb2c05c5ec4e3e2c05627277ef--