Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:101592
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain lerdorf.com designates 74.125.82.195 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAEUnE0cH1ZnCwpYW4njdgM2B6uJsrzQ3AbRtcy2H_-85xX9urw@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>
Date: Wed, 10 Jan 2018 10:59:41 -0800
Message-ID: <CACXBjuigt+XZTcQEePZZ56uG6MK=UFAaFX=PVbyYt-Fe6aaKZg@mail.gmail.com>
To: Michael Morris <tendoaki@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="94eb2c11040ea6ac78056270a48a"
Subject: Re: [PHP-DEV] [RFC][DISCUSSION] Strong Typing Syntax
From: rasmus@lerdorf.com (Rasmus Lerdorf)

--94eb2c11040ea6ac78056270a48a
Content-Type: text/plain; charset="UTF-8"

On Wed, Jan 10, 2018 at 10:48 AM, Michael Morris <tendoaki@gmail.com> wrote:

> On Wed, Jan 10, 2018 at 12:27 PM, Rasmus Lerdorf <rasmus@lerdorf.com>
> wrote:
>
> >  If you stay away from trying to change a 25-year old loosely typed
> > language into a strictly typed one, then the RFC becomes much simpler.
> >
> > -Rasmus
> >
>
> I have REPEATEDLY stated that is not the goal. I don't misrepresent what
> you say, please do not do that to me.
>
> I want to see strict typing as an option, not a requirement.
>

But the point is that whether it is an option or not, it still has to touch
the zval. Which means everything changes whether the option is enabled or
not. If you store this information elsewhere, that other location has to be
checked on every zval access. Basically the work is identical to the work
required to make PHP strictly typed. Making it optional might actually be
harder because we have to build both and add more checks in that case.

The only viable place I see to store this optionally is outside the runtime
in a static analyzer like Phan (which already does this) which matches how
HHVM solved it. Of course, there may be a cleaner way to do it. But that is
why an RFC on this topic has to give a clear plan towards this cleaner
implementation.

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.

-Rasmus

--94eb2c11040ea6ac78056270a48a--