Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:101518
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.161.182 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAH0Uv3GdSB4FOhk7Bo8d2wuMRpD6cdz63GWz3wQ6t7JEHceR_Q@mail.gmail.com>
References: <CAEUnE0d+rHG-Rvjt7QAN6x6L+BP5Yb_cz8sGuOFDOkx-kCehkA@mail.gmail.com>
 <CANUQDCj=y+owxCzrbwn1XYgy2WCy2sFDTA=HqMkL5nO8xmypjA@mail.gmail.com>
 <CAEUnE0exBYHm4i7hymN7867r6GknuaCvbvTeQ8ViNckg3kTSqw@mail.gmail.com>
 <CAH0Uv3F6ouDdUFptAca7y9Wob=i4j8okzpdcpWZ17w8abP-ARQ@mail.gmail.com> <CAH0Uv3GdSB4FOhk7Bo8d2wuMRpD6cdz63GWz3wQ6t7JEHceR_Q@mail.gmail.com>
Date: Wed, 3 Jan 2018 12:54:47 -0500
Message-ID: <CAEUnE0e-bdXondk9R4Cks+ODAkPqjxmaPOAnVZabv00u0KM78w@mail.gmail.com>
To: Andreas Hennings <andreas@dqxtech.net>
Cc: Niklas Keller <me@kelunik.com>, PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="94eb2c030b644c5a4a0561e2e9aa"
Subject: Re: [PHP-DEV] [RFC][DISCUSSION] Strong Typing Syntax
From: tendoaki@gmail.com (Michael Morris)

--94eb2c030b644c5a4a0561e2e9aa
Content-Type: text/plain; charset="UTF-8"

On Wed, Jan 3, 2018 at 12:21 PM, Andreas Hennings <andreas@dqxtech.net>
wrote:

> Another idea I have when reading this proposal is "implicit" typing
> based on the initialization.
>
> E.g.
>
> $x = 5;
> $x = 'hello';  // -> Error: $x was initialized as integer, and cannot
> hold a string.
>
>
No, no no.  I don't think I'd like that always on approach. However, I just
had an idea.....


Let's step back.  Way back.  PHP/FF days back.

Back in the day Ramus chose to put variables off on their own symbol table
for performance reasons.  This isn't as necessary now, but vars in PHP
continue to be always $something.

Now I don't know the implementation can of worms this would touch but what
if this was changed for the locked type variables.  That would distinguish
them greatly..

int x = 5;

Here x is a locked type variable of the integer type.  Since it's also on
the same symbol tables as the classes, functions, constants et al I presume
it is namespace bound as well.

var x = 5;

If allowed what would this mean?

And what to do with class members is an open question.


Anyway, I'm looking for an implementation that allows loose and strong
typing to coexist even within a given file. I use loosely typed variables
most of time myself.

--94eb2c030b644c5a4a0561e2e9aa--